Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
9.420 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Art der Quelle

Schlagwort

Verlag

Publikation

Sprache

Geographischer Bezug

9.420 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Type- Theoretical Foundations of the Derivation System in Coq
    Lenko, Vasyl ; Pasichnyk, Volodymyr ; et al.
    In: 2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC), 2018-10-01, S. 1-6
    Konferenz
    Wie komme ich dran?
  2. Detailansicht für Treffer 22 öffnen
    SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq
    Abate, Carmine ; Haselwarter, Philipp G. ; et al.
    In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021-06-01, S. 1-15
    Konferenz
    Wie komme ich dran?
  3. Detailansicht für Treffer 23 öffnen
    A State-of-the-Art Karp-Miller Algorithm Certified in Coq.
    Hilaire, Thibault ; Ilcinkas, David ; et al.
    In: TACAS (1), 2024, S. 370-389
    Konferenz
    Wie komme ich dran?
  4. Detailansicht für Treffer 24 öffnen
    Martin-Löf à la Coq.
    Adjedj, Arthur ; Lennon-Bertrand, Meven ; et al.
    In: CPP, 2024, S. 230-245
    Konferenz
    Wie komme ich dran?
  5. Detailansicht für Treffer 25 öffnen
    VCFloat2: Floating-Point Error Analysis in Coq.
    Appel, Andrew W. ; Kellison, Ariel
    In: CPP, 2024, S. 14-29
    Konferenz
    Wie komme ich dran?
  6. Detailansicht für Treffer 26 öffnen
    Security Verification Method of Embedded Operating System Semaphore Mechanism based on Coq
    Chen, Xi ; Qiao, Lei ; et al.
    In: 2021 2nd International Conference on Big Data & Artificial Intelligence & Software Engineering (ICBASE), 2021-09-01, S. 392-395
    Konferenz
    Wie komme ich dran?
  7. Detailansicht für Treffer 27 öffnen
    A Generic Coq Proof of Typical Worst-Case Analysis
    Fradet, Pascal ; Lesourd, Maxime ; et al.
    In: 2018 IEEE Real-Time Systems Symposium (RTSS), 2018-12-01, S. 218-229
    Konferenz
    Wie komme ich dran?
  8. Detailansicht für Treffer 28 öffnen
    Proving Reflex Program Verification Conditions in Coq Proof Assistant
    Chernenko, Ivan ; Anureev, Igor ; et al.
    In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30, S. 485-488
    Konferenz
    Wie komme ich dran?
  9. Detailansicht für Treffer 29 öffnen
    A Regression Proof Selection Tool For Coq
    Celik, Ahmet ; Palmskog, Karl ; et al.
    In: 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion), 2018-05-01, S. 117-120
    Online Konferenz
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 30 öffnen
    Formal Derivation and Verification of Coordinate Transformations in Theorem Prover Coq
    Ma, Zhenwei ; Chen, Gang
    In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01, S. 127-136
    Konferenz
    Wie komme ich dran?
  11. Detailansicht für Treffer 31 öffnen
    Machine proving system for mathematical theorems in Coq — Machine proving of Hausdorff maximal principle and Zermelo postulate
    Sun, Tianyu ; Yu, Wensheng
    In: 2017 36th Chinese Control Conference (CCC), 2017-07-01, S. 9871-9878
    Konferenz
    Wie komme ich dran?
  12. Detailansicht für Treffer 32 öffnen
    Formalization of Laplace Transform in Coq
    Wang, Yifei ; Chen, Gang
    In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01, S. 13-21
    Konferenz
    Wie komme ich dran?
  13. Detailansicht für Treffer 33 öffnen
    Formalizing Piecewise Affine Activation Functions of Neural Networks in COQ : NASA formal methods (15th international symposium NFM 2023)
    Aleksandrov, Andrei ; Völlinger, Kim
    In: Lecture notes in computer science, Jg. 13903 (2023), S. 62-78
    Konferenz
    Wie komme ich dran?
  14. Detailansicht für Treffer 34 öffnen
    A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem : Formal methods (25th International symposium, FM 2023)
    Boldo, Sylvie ; Clément, François ; et al.
    In: Lecture notes in computer science, Jg. 14000 (2023), S. 39-55
    Konferenz
    Wie komme ich dran?
  15. Detailansicht für Treffer 35 öffnen
    General Probability in Coq
    Shinnar, Avraham ; Trager, Barry
    In: 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2022-06-01, S. 70-71
    Konferenz
    Wie komme ich dran?
  16. Detailansicht für Treffer 36 öffnen
    Structural vs. Cyclic Induction: A Report on Some Experiments with Coq
    Stratulat, Sorin
    In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01, S. 29-36
    Konferenz
    Wie komme ich dran?
  17. Detailansicht für Treffer 37 öffnen
    Verification of Design of Memory Management Module for Embedded System Based on Coq
    Shaofeng, Li ; Lei, Qiao ; et al.
    In: 2020 IEEE 11th International Conference on Software Engineering and Service Science (ICSESS), 2020-10-16, S. 44-47
    Konferenz
    Wie komme ich dran?
  18. Detailansicht für Treffer 38 öffnen
    Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq
    Zhang, Xiyue ; Li, Yi ; et al.
    In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019-07-01, S. 107-112
    Konferenz
    Wie komme ich dran?
  19. Detailansicht für Treffer 39 öffnen
    모나딕 타입으로 Coq에서 배중률 사용을 안전하게 감싸기
    박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu)
    In: 한국정보과학회 학술발표논문집, Jg. 2022 (2022-12-31), Heft 12, S. 1236-1237
    Konferenz
    Wie komme ich dran?
  20. Detailansicht für Treffer 40 öffnen
    COQ math model case study for self-brand automobile industry
    Fuli, Z. ; Xu, W. ; et al.
    In: 2015 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 2015-12-01, S. 1392-1396
    Konferenz
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -