Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

From Refutation to Verification.. FORTE, Volume 183 von IFIP Conference Proceedings, Seite 369-374. Kluwer, (2000)An Operational Semantics for Stateflow., und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2004)Theorem Proving for Verification.. MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 39-57. Springer, (2000)Proof of separability: A verification technique for a class of a security kernels.. Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 352-367. Springer, (1982)Mechanizing Formal Methods: Opportunities and Challenges.. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 105-113. Springer, (1995)Mechanized Formal Methods: Progress and Prospects.. FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 43-51. Springer, (1996)A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model., und . FTCS, Seite 402-411. IEEE Computer Society, (1993)What Use is Verified Software?. ICECCS, Seite 270-276. IEEE Computer Society, (2007)Harnessing Disruptive Innovation in Formal Verification.. SEFM, Seite 21-30. IEEE Computer Society, (2006)An Invitation to Formal Methods., , , , , , , , , und 5 andere Autor(en). IEEE Computer, 29 (4): 16-30 (1996)