( en | de | ru )

 

Disambiguierung von "Archer, Myla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.

. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 308-317. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vincent Archer

Elisabeth Mylarch

Heinz Mylarch

Andreas Mylaeus

Klaus Mylarch

 

Weitere Publikationen von Autoren mit dem selben Namen

Analyzing Security-Enhanced Linux Policy Specifications., , und . POLICY, Seite 158-. IEEE Computer Society, (2003)Applying Formal Methods to an Information Security Device: An Experience Report., , und . HASE, Seite 81-88. IEEE Computer Society, (1999)Partial Implementations of Abstract Data Types: Theory and Practice. University of Illinois Urbana-Champaign, USA, (1988)Can We Build an Automatic Program Verifier? Invariant Proofs and Other Challenges.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 308-317. Springer, (2005)Towards a Formal Verification of a Floating Point Coprocessor and its Composition with a Central Processing Unit., , , und . TPHOLs, Volume A-20 von IFIP Transactions, Seite 427-447. North-Holland/Elsevier, (1992)Extended abstract: organizing automaton specifications to achieve faithful representation., und . MEMOCODE, Seite 245-246. IEEE Computer Society, (2005)SCR: A Practical Approach to Building a High Assurance COMSEC System., , und . ACSAC, Seite 109-118. IEEE Computer Society, (1999)Direct generation of invariants for reactive models., , , und . MEMOCODE, Seite 119-130. IEEE, (2012)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL., , , , , , und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 29-42. Springer, (1993)Tools for constructing requirements specifications: the SCR Toolset at the age of nine, , , und . Comput. Syst. Sci. Eng., (2005)