( en | de | ru )

 

Disambiguierung von "Hähnle, Reiner"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.

, , , und . CoRR, (2019)

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.

Reiner Hähnle

Lorenz Hähnle

Reinhard Hähnle

Max Hähnle

Barbara Hähnle

 

Weitere Publikationen von Autoren mit dem selben Namen

Analytic Tableau and Integer Programming (Extended Abstract).. TABLEAUX, Seite 33-35. (1992)Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.. Logic Journal of the IGPL, 13 (4): 415-433 (2005)Towards Incremental Validation of Railway Systems., und . ISoLA (2), Volume 9953 von Lecture Notes in Computer Science, Seite 433-446. (2016)Introduction to Track on Engineering Virtualized Services., und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2014)A New Look at Formal Methods for Software Construction.. The KeY Approach, Volume 4334 von Lecture Notes in Computer Science, Springer, (2007)Using a Software Testing Technique to Improve Theorem Proving., und . FATES, Volume 2931 von Lecture Notes in Computer Science, Seite 30-41. Springer, (2003)Context-aware Trace Contracts., , und . CoRR, (2023)SmartML: Towards a Modeling Language for Smart Contracts., , und . CoRR, (2024)Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.. Stud Logica, 61 (1): 101-121 (1998)Task Forces in the EternalS Coordination Action.. ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 20-22. Springer, (2010)