( en | de | ru )

 

Disambiguation of "Pecheur, Charles"

Author of the publication

copydeleteadd this publication to your clipboard
From Livingstone to SMV.

, and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 103-113. Springer, (2000)

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 Trenckle

Charles Horowitz

Charles Grard

Charles Zschau

Charles Asseke

 

Other publications of authors with the same name

PyNuSMV: NuSMV as a Python Library., and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 453-458. Springer, (2013)Producing Explanations for Rich Logics., and . FM, volume 10951 of Lecture Notes in Computer Science, page 129-146. Springer, (2018)A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway., and . ECEASST, (2018)Formal Verification of Autonomy Models, , and . (2006)Formal Verification for a Next-Generation Space Shuttle., and . FAABS, volume 2699 of Lecture Notes in Computer Science, page 53-67. Springer, (2002)Using LOTOS for specifying the CHORUS distributed operating system kernel.. Comput. Commun., 15 (2): 93-102 (1992)Model-Based Verification of a Security Protocol for Conditional Access to Services., , , , and . Formal Methods Syst. Des., 14 (2): 171-191 (1999)Combining Partial Order Reduction with Bounded Model Checking., and . CPA, volume 67 of Concurrent Systems Engineering Series, page 29-48. IOS Press, (2009)Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder., and . TACAS, volume 2988 of Lecture Notes in Computer Science, page 357-371. Springer, (2004)Formal Verification of Diagnosability via Symbolic Model Checking., , and . IJCAI, page 363-369. Morgan Kaufmann, (2003)