( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.

, , , и . CoRR, (2019)

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.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Barbara Hähnle

 

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

Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.. Stud Logica, 61 (1): 101-121 (1998)Analytic Tableau and Integer Programming (Extended Abstract).. TABLEAUX, стр. 33-35. (1992)Abstract Execution., и . FM, том 11800 из Lecture Notes in Computer Science, стр. 319-336. Springer, (2019)KeY-C: A Tool for Verification of C Programs., , и . CADE, том 4603 из Lecture Notes in Computer Science, стр. 385-390. Springer, (2007)Semantic Tableaux with Ordering Restrictions., и . CADE, том 814 из Lecture Notes in Computer Science, стр. 708-722. Springer, (1994)Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.. Logic Journal of the IGPL, 13 (4): 415-433 (2005)A New Look at Formal Methods for Software Construction.. The KeY Approach, том 4334 из Lecture Notes in Computer Science, Springer, (2007)Using a Software Testing Technique to Improve Theorem Proving., и . FATES, том 2931 из Lecture Notes in Computer Science, стр. 30-41. Springer, (2003)Task Forces in the EternalS Coordination Action.. ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 20-22. Springer, (2010)HATS: Highly Adaptable and Trustworthy Software Using Formal Methods.. ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 3-8. Springer, (2010)