( en | de | ru )

 

Disambiguierung von "Havelund, Klaus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior.

, und . ICFEM, Volume 8829 von Lecture Notes in Computer Science, Seite 187-202. Springer, (2014)

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.

Fabian Klaus

David Klaus

Katharina Klaus

Volker Klauss

Helmut Klaus

 

Weitere Publikationen von Autoren mit dem selben Namen

Actor-Based Runtime Verification with MESA., , und . RV, Volume 12399 von Lecture Notes in Computer Science, Seite 221-240. Springer, (2020)Monitoring with Data Automata.. ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 254-273. Springer, (2014)Using Runtime Analysis to Guide Model Checking of Java Programs.. SPIN, Volume 1885 von Lecture Notes in Computer Science, Seite 245-264. Springer, (2000)Refining the Safety-Liveness Classification of Temporal Properties According to Monitorability., und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 218-234. Springer, (2018)Discussing the Future Role of Documentation in the Context of Modern Software Engineering (ISoLA 2022 Track Introduction)., , , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 3-9. Springer, (2022)Space Telemetry Analysis with PyContract., , und . Applicable Formal Methods for Safe Industrial Products, Volume 14165 von Lecture Notes in Computer Science, Seite 272-288. Springer, (2023)Experiments in Theorem Proving and Model Checking for Protocol Verification., und . FME, Volume 1051 von Lecture Notes in Computer Science, Seite 662-681. Springer, (1996)Runtime Verification: From Propositional to First-Order Temporal Logic., und . RV, Volume 11237 von Lecture Notes in Computer Science, Seite 90-112. Springer, (2018)TP-DejaVu: Combining Operational and Declarative Runtime Verification., , , , und . VMCAI (2), Volume 14500 von Lecture Notes in Computer Science, Seite 249-263. Springer, (2024)Applying Model Checking in Java Verification., und . SPIN, Volume 1680 von Lecture Notes in Computer Science, Seite 216-231. Springer, (1999)