( en | de | ru )

 

Disambiguierung von "Rauzy, Antoine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite degradation structures: a formal framework to support the interface between MBSE and MBSA

, , und . 2018 IEEE International Systems Engineering Symposium (ISSE), Seite 1--6. IEEE, (2018)

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.

Pablo Rauzy

Antoine Jammal

Jacques Antoine

Antoine Kahn

Antoine Derighetti

 

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)Toward an efficient implementation of the MOCUS algorithm.. IEEE Trans. Reliability, 52 (2): 175-180 (2003)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)Knowledge Extraction in Trivalued Propositional Logic.. ECSQARU, Volume 548 von Lecture Notes in Computer Science, Seite 287-291. Springer, (1991)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)Synchronization of Constrained Transition Systems., und . PASCO, Seite 54-62. World Scientific, (1994)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)Reliability Assessment of Phased-Mission Systems with AltaRica 3.0., , , und . ICSRS, Seite 400-407. IEEE, (2018)A language proposition for system requirements., , und . SysCon, Seite 1-8. IEEE, (2017)