( en | de | ru )

 

Disambiguation of "Rauzy, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
Finite degradation structures: a formal framework to support the interface between MBSE and MBSA

, , and . 2018 IEEE International Systems Engineering Symposium (ISSE), page 1--6. IEEE, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pablo Rauzy

Jacques Antoine

Rainer Antoine

Antoine Kahn

Antoine Derighetti

 

Other publications of authors with the same name

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