Autor der Publikation

A Compositional Framework for Fault Tolerance by Specification Transformation.

, und . Theor. Comput. Sci., 128 (1&2): 99-125 (1994)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Combining Software and Hardware Verification Techniques., , , , und . Formal Methods in System Design, 21 (3): 251-280 (2002)Priority scheduling of distributed systems based on model checking., , , und . Formal Methods in System Design, 39 (3): 229-245 (2011)Combining Partial Order Reductions with On-the-Fly Model-Checking.. Formal Methods in System Design, 8 (1): 39-64 (1996)Defining Conditional Independence Using Collapses., und . Theor. Comput. Sci., 101 (2): 337-359 (1992)From Verification to Synthesis.. Dependable Software Systems Engineering, Volume 40 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Compositional message sequence charts., , und . STTT, 5 (1): 78-89 (2003)An Improved Search Strategy for Lossy Channel Systems., , und . FORTE, Volume 107 von IFIP Conference Proceedings, Seite 251-264. Chapman & Hall, (1997)Model-Checking of Correctness Conditions for Concurrent Objects., , und . LICS, Seite 219-228. IEEE Computer Society, (1996)Achieving Distributed Control through Model Checking., , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 396-409. Springer, (2010)Compositional Message Sequence Charts., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 496-511. Springer, (2001)