( en | de | ru )

 

Disambiguierung von "Havelund, Klaus"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Experience with Rule-Based Analysis of Spacecraft Logs.

, und . FTSCS, Volume 476 von Communications in Computer and Information Science, Seite 1-16. 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

40 Years of Formal Methods - Some Obstacles and Some Possibilities?, und . FM, Volume 8442 von Lecture Notes in Computer Science, Seite 42-61. Springer, (2014)Automated Testing of Planning Models., , , , und . MoChArt, Volume 5348 von Lecture Notes in Computer Science, Seite 90-105. Springer, (2008)Formal Verification of a Power Controller Using the Real-Time Model Checker UPPAAL., , und . ARTS, Volume 1601 von Lecture Notes in Computer Science, Seite 277-298. Springer, (1999)Runtime Verification of C Programs.. TestCom/FATES, Volume 5047 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2008)The Fork Calculus., und . ICALP, Volume 700 von Lecture Notes in Computer Science, Seite 544-557. Springer, (1993)Modeling with Scala., und . ISoLA (1), Volume 11244 von Lecture Notes in Computer Science, Seite 184-205. Springer, (2018)What Does AI Have to Do with RV? - (Extended Abstract).. ISoLA (1), Volume 7609 von Lecture Notes in Computer Science, Seite 292-294. Springer, (2012)An Extension of LTL with Rules and Its Application to Runtime Verification., und . RV, Volume 11757 von Lecture Notes in Computer Science, Seite 239-255. Springer, (2019)Model Checking Programs, , , , und . Automated Software Engineering, 10 (2): 203--232 (April 2003)Some recent advances in automated analysis., und . Int. J. Softw. Tools Technol. Transf., 18 (2): 121-128 (2016)