( en | de | ru )

 

Disambiguierung von "Butler, Ricky W."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Experimental Evaluation of a Planning Language Suitable for Formal Verification.

, , und . MoChArt, Volume 5348 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2008)

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.

Ricky Avenzora

Ricky Dunbar

Ricky Surjana

Erin Butler

Martin Butler

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Methods at NASA Langley.. TPHOLs, Volume 2410 von Lecture Notes in Computer Science, Seite 1-2. Springer, (2002)Ensuring Fault Tolerance of Phase-Locked Clocks., , und . IEEE Trans. Computers, 34 (8): 752-756 (1985)How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project., , , , , und . NASA Formal Methods, Volume NASA/CP-2010-216215 von NASA Conference Proceedings, Seite 34-46. (2010)Formalization of the Integral Calculus in the PVS Theorem Prover.. J. Formaliz. Reason., 2 (1): 1-26 (2009)An Invitation to Formal Methods., , , , , , , , , und 5 andere Autor(en). Computer, 29 (4): 16-30 (1996)The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software, und . IEEE Trans\-actions on Soft\-ware Engin\-eering, 19 (1): 3--12 (1993)Formal Verification of Conflict Detection Algorithms., , , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 403-417. Springer, (2001)Provable transient recovery for frame-based, fault-tolerant computing systems., und . RTSS, Seite 275-278. IEEE Computer Society, (1992)Formal verification of conflict detection algorithms., , , und . Int. J. Softw. Tools Technol. Transf., 4 (3): 371-380 (2003)Experimental Evaluation of a Planning Language Suitable for Formal Verification., , und . MoChArt, Volume 5348 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2008)