( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Software Validation via Model Animation.

, , , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 92-108. Springer, (2015)

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.

Ricky Avenzora

Ricky Dunbar

Ricky Surjana

Erin Butler

Marko Butler

 

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

Formal Methods at NASA Langley.. TPHOLs, том 2410 из Lecture Notes in Computer Science, стр. 1-2. Springer, (2002)Ensuring Fault Tolerance of Phase-Locked Clocks., , и . IEEE Trans. Computers, 34 (8): 752-756 (1985)The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, и . IEEE Trans\-actions on Soft\-ware Engin\-eering, 19 (1): 3--12 (1993)How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project., , , , , и . NASA Formal Methods, том NASA/CP-2010-216215 из NASA Conference Proceedings, стр. 34-46. (2010)Formal Verification of Conflict Detection Algorithms., , , и . CHARME, том 2144 из Lecture Notes in Computer Science, стр. 403-417. Springer, (2001)Formalization of the Integral Calculus in the PVS Theorem Prover.. J. Formaliz. Reason., 2 (1): 1-26 (2009)An Invitation to Formal Methods., , , , , , , , , и 5 other автор(ы). Computer, 29 (4): 16-30 (1996)Provable transient recovery for frame-based, fault-tolerant computing systems., и . RTSS, стр. 275-278. IEEE Computer Society, (1992)Software Validation via Model Animation., , , и . TAP, том 9154 из Lecture Notes in Computer Science, стр. 92-108. Springer, (2015)Experimental Evaluation of a Planning Language Suitable for Formal Verification., , и . MoChArt, том 5348 из Lecture Notes in Computer Science, стр. 132-146. Springer, (2008)