( en | de | ru )

 

Disambiguation of "Rauzy, Antoine"

Author of the publication

copydeleteadd this publication to your clipboard
Toward an efficient implementation of the MOCUS algorithm.

. IEEE Trans. Reliability, 52 (2): 175-180 (2003)

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

Gerhard Antoine

Antoine Choulhod

Antoine Taouk

Antoine Jammal

 

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)Knowledge Extraction in Trivalued Propositional Logic.. ECSQARU, volume 548 of Lecture Notes in Computer Science, page 287-291. Springer, (1991)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)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)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)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., , , 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)Synchronization of Constrained Transition Systems., and . PASCO, page 54-62. World Scientific, (1994)A language proposition for system requirements., , and . SysCon, page 1-8. IEEE, (2017)