( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Harnessing Disruptive Innovation in Formal Verification.

. SEFM, стр. 21-30. IEEE Computer Society, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

John M Sullivan

John M MacMahon

Simon M M Laimer

Marcel M M Kuypers

M. Biswas M. Dam

 

Другие публикации лиц с тем же именем

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