( en | de | ru )

 

Disambiguierung von "Peled, Doron A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model checking

, , und . MIT Press, Cambridge, Mass., (1999)

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.

Doron Lahav

Yishai Peled

Doron Merkler

tefan Dorondel

Guy Doron

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Formal Methods for Message Sequence Charts.. ICDCS Workshop on Distributed System Validation and Verification, Seite E7-E13. (2000)An improvement in formal verification., und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 197-211. Chapman & Hall, (1994)Adaptive Model Checking., , und . Logic Journal of the IGPL, 14 (5): 729-744 (2006)State Space Reduction Using Partial Order Techniques., , , und . Int. J. Softw. Tools Technol. Transf., 2 (3): 279-287 (1999)Verification of Distributed Programs Using Representative Interleaving Sequences., und . Distributed Comput., 6 (2): 107-120 (1992)Formal Verification of a Partial-Order Reduction Technique for Model Checking., und . J. Autom. Reason., 23 (3-4): 265-298 (1999)A Combined Testing and Verification Approach for Software Reliability., und . FME, Volume 2021 von Lecture Notes in Computer Science, Seite 611-628. Springer, (2001)Combining Partial Order Reductions with On-the-fly Model-Checking.. CAV, Volume 818 von Lecture Notes in Computer Science, Seite 377-390. Springer, (1994)