Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
7 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

7 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Coloured Petri Net Refinement Specification and Correctness Proof with Coq
    Choppy, Christine ; Mayero, Micaela ; et al.
    In: Proceedings of the First NASA Formal Methods Symposium, 2009-04-01
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Coq Tacticals and PVS Strategies: A Small Step Semantics
    Kirchner, Florent
    In: Design and Application of Strategies/Tactics in Higher Order Logics, 2003-09-01
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Space shuttle redesigned solid rocket motor Certificate of Qualification (COQ) data report
    Duersch, Fred, Jr
    1990
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A High-Level Formalization of Floating-Point Number in PVS
    Boldo, Sylvie ; Munoz, Cesar
    2006
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Towards a Certified Lightweight Array Bound Checker for Java Bytecode
    Pichardie, David
    In: Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification, 2009-10-01
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    Proceedings of the First NASA Formal Methods Symposium
    Denney, Ewen ; Giannakopoulou, Dimitra ; et al.
    2009
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Design and Application of Strategies/Tactics in Higher Order Logics
    Archer, Myla ; diVito, Ben ; et al.
    2003
    Online report
    Zugriff:
    View record in NASA Technical Reports (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -