( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Producing Explanations for Rich Logics.

, и . FM, том 10951 из Lecture Notes in Computer Science, стр. 129-146. Springer, (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.

Charles Asseke

Charles Bannerman

Charles Trenckle

Charles Horowitz

Charles Grard

 

Другие публикации лиц с тем же именем

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