( en | de | ru )

 

Disambiguation of "Pecheur, Charles"

Author of the publication

copydeleteadd this publication to your clipboard
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder.

, and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 357-371. Springer, (2004)

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.

Charles Grard

Charles Zschau

Charles Delagardelle

Charles Agwu

Charles Hall

 

Other publications of authors with the same name

Combining Partial Order Reduction with Bounded Model Checking., and . CPA, volume 67 of Concurrent Systems Engineering Series, page 29-48. IOS Press, (2009)Formal Verification for a Next-Generation Space Shuttle., and . FAABS, volume 2699 of Lecture Notes in Computer Science, page 53-67. Springer, (2002)Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder., and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 357-371. Springer, (2004)Producing Explanations for Rich Logics., and . FM, volume 10951 of Lecture Notes in Computer Science, page 129-146. Springer, (2018)PyNuSMV: NuSMV as a Python Library., and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 453-458. Springer, (2013)Formal Verification of Autonomy Models, , and . (2006)Formal Verification of Diagnosability via Symbolic Model Checking., , and . IJCAI, page 363-369. Morgan Kaufmann, (2003)Advanced Modelling and Verification Techniques Applied to a Cluster File System.. ASE, page 119-126. IEEE Computer Society, (1999)Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.. ASE, page 63-70. IEEE Computer Society, (1997)From Livingstone to SMV., and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 103-113. Springer, (2000)