( en | de | ru )

 

Disambiguierung von "Pecheur, Charles"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Panel Discussion: Future Directions.

, , , , , , und . FAABS, Volume 1871 von Lecture Notes in Computer Science, Seite 354-368. Springer, (2000)

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.

Charles Asseke

Charles Bannerman

Charles Delagardelle

Charles Agwu

Charles Hall

 

Weitere Publikationen von Autoren mit dem selben Namen

Producing Explanations for Rich Logics., und . FM, Volume 10951 von Lecture Notes in Computer Science, Seite 129-146. Springer, (2018)A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway., und . ECEASST, (2018)PyNuSMV: NuSMV as a Python Library., und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 453-458. Springer, (2013)Formal Verification of Autonomy Models, , und . (2006)Combining Partial Order Reduction with Bounded Model Checking., und . CPA, Volume 67 von Concurrent Systems Engineering Series, Seite 29-48. IOS Press, (2009)Formal Verification for a Next-Generation Space Shuttle., und . FAABS, Volume 2699 von Lecture Notes in Computer Science, Seite 53-67. Springer, (2002)Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder., und . TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 357-371. Springer, (2004)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., , , , und . Formal Methods Syst. Des., 14 (2): 171-191 (1999)Formal Verification of Diagnosability via Symbolic Model Checking., , und . IJCAI, Seite 363-369. Morgan Kaufmann, (2003)