( en | de | ru )

 

Disambiguierung von "Rushby, John M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Mechanizing Formal Methods: Opportunities and Challenges.

. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 105-113. Springer, (1995)

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.

John M Sullivan

John M MacMahon

Simon M M Laimer

M. Biswas M. Dam

Bernhard M M Lang

 

Weitere Publikationen von Autoren mit dem selben Namen

Mechanizing Formal Methods: Opportunities and Challenges.. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 105-113. Springer, (1995)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)From Refutation to Verification.. FORTE, Volume 183 von IFIP Conference Proceedings, Seite 369-374. Kluwer, (2000)A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model., und . FTCS, Seite 402-411. IEEE Computer Society, (1993)Theorem Proving for Verification.. MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 39-57. Springer, (2000)An Operational Semantics for Stateflow., und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2004)Mechanized Formal Methods: Progress and Prospects.. FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 43-51. Springer, (1996)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)The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 292-304. Springer, (1993)