Autor der Publikation

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

Vérification Symbolique et Programmation Logique avec Contraintes: les Raisons d'un Mariage., und . JFPLC, Seite 171-. (1994)Knowledge Extraction in Trivalued Propositional Logic.. ECSQARU, Volume 548 von Lecture Notes in Computer Science, Seite 287-291. Springer, (1991)Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms., , und . LPAR, Volume 698 von Lecture Notes in Computer Science, Seite 86-97. Springer, (1993)Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization., und . ESOP, Volume 788 von Lecture Notes in Computer Science, Seite 180-194. Springer, (1994)Using the Constraint Language Toupie for "Software Cost Reduction" Specification Analysis (Abstract).. TACAS, Volume 1055 von Lecture Notes in Computer Science, Seite 417. Springer, (1996)Toward an efficient implementation of the MOCUS algorithm.. IEEE Trans. Reliability, 52 (2): 175-180 (2003)Reliability Assessment of Phased-Mission Systems with AltaRica 3.0., , , und . ICSRS, Seite 400-407. IEEE, (2018)Safety Analysis of a Data Center's Electrical System Using Production Trees., , und . IMBSA, Volume 10437 von Lecture Notes in Computer Science, Seite 82-96. Springer, (2017)Synchronization of Constrained Transition Systems., und . PASCO, Seite 54-62. World Scientific, (1994)A language proposition for system requirements., , und . SysCon, Seite 1-8. IEEE, (2017)