Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

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

Sprache

59 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formalizing non-interference for a simple bytecode language in Coq
    KAMMÜLLER, Florian
    In: Formal aspects of computing, Jg. 20 (2008), Heft 3, S. 259-275
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  3. Detailansicht für Treffer 3 öffnen
    Formalizing non-interference for a simple bytecode language in Coq
    Kammüller, Florian
    In: Formal Aspects of Computing, Jg. 20 (2008-05-01), S. 259-275
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  5. Detailansicht für Treffer 5 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  6. Detailansicht für Treffer 6 öffnen
    Code-carrying theories
    Jacobs, Bart ; Smetsers, Sjaak ; et al.
    In: Formal Aspects of Computing, 2024, Heft Preprints, S. 1-13
    Online serialPeriodical
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  8. Detailansicht für Treffer 8 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  9. Detailansicht für Treffer 9 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  10. Detailansicht für Treffer 10 öffnen
    Tests and proofs for custom data generators
    Dubois, Catherine ; Giorgetti, Alain
    In: Formal Aspects of Computing, Jg. 30 (2018-11-01), Heft 6, S. 659-684
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    The CtCoq System: Design and Architecture.
    Bertot, Yves
    In: Formal Aspects of Computing, Jg. 11 (1999-09-30), Heft 3, S. 225-243
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP
    Bowen, Jonathan P. ; Zhu, Huibiao ; et al.
    In: Formal Aspects of Computing, Jg. 32 (2020-07-01), S. 275-314
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    A formal verification technique for behavioural model-to-model transformations
    Putter, Sander ; Wijs, Anton
    In: Formal Aspects of Computing, Jg. 30 (2018), Heft 1, S. 3-43
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  14. Detailansicht für Treffer 14 öffnen
    Correct-by-construction model driven engineering composition operators.
    Kezadri Hamiaz, Mounira ; Pantel, Marc ; et al.
    In: Formal Aspects of Computing, Jg. 28 (2016-05-01), Heft 3, S. 409-440
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  15. Detailansicht für Treffer 15 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  16. Detailansicht für Treffer 16 öffnen
    Code-carrying theories.
    Jacobs, Bart ; Smetsers, Sjaak ; et al.
    In: Formal Aspects of Computing, Jg. 19 (2007-06-12), Heft 2, S. 191-203
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
  17. Detailansicht für Treffer 17 öffnen
    Certifying circuits in Type Theory.
    Coupet-Grimal, Solange ; Jakubiec, Line
    In: Formal Aspects of Computing, Jg. 16 (2004-11-01), Heft 4, S. 352-379
    Online academicJournal
    Zugriff:
    Full Text Finder (Volltext)
    Wie komme ich dran?
  18. Detailansicht für Treffer 18 öffnen
    Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!
    academicJournal
  19. Detailansicht für Treffer 19 öffnen
    A formal verification technique for behavioural model-to-model transformations
    e Putter, S. ; Wijs, A. ; et al.
    In: Formal Aspects of Computing, Jg. 30 (2018), Heft 1, S. 3-43
    Online serialPeriodical
    Zugriff:
    View record at Springer (Volltext)
    Volltext
    Wie komme ich dran?
  20. Detailansicht für Treffer 20 öffnen
    Verifying programs in the calculus of inductive constructions.
    Parent-Vigouroux, Catherine
    In: Formal Aspects of Computing, Jg. 9 (1997-09-01), Heft 5/6, S. 484-517
    Online academicJournal
    Zugriff:
    View record at Springer (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -