( en | de | ru )

 

Disambiguierung von "Larsen, Kim Guldstrand"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.

, , , , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 232-243. Springer, (1995)

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.

Patrick Larsen

Reinhard Larsen

Jürgen Larsen

Claudia Larsen

Larsen Schütte

 

Weitere Publikationen von Autoren mit dem selben Namen

CMC: A Tool for Compositional Model-Checking of Real-Time Systems., und . FORTE, Volume 135 von IFIP Conference Proceedings, Seite 439-456. Kluwer, (1998)Efficient Local Correctness Checking.. CAV, Volume 663 von Lecture Notes in Computer Science, Seite 30-43. Springer, (1992)A Context Dependent Equivalence between Processes.. ICALP, Volume 194 von Lecture Notes in Computer Science, Seite 373-382. Springer, (1985)Almost Optimal Strategies in One Clock Priced Timed Games., , , und . FSTTCS, Volume 4337 von Lecture Notes in Computer Science, Seite 345-356. Springer, (2006)Optimal Strategies in Priced Timed Game Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 148-160. Springer, (2004)As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata., , , , , , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 493-505. Springer, (2001)CyNC: A method for real time analysis of systems with cyclic data flows., , , und . J. Embed. Comput., 2 (3-4): 347-360 (2006)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)Graphical versus Logical Specifications., und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 57-71. Springer, (1990)Parametric and Quantitative Extensions of Modal Transition Systems., , , und . FPS@ETAPS, Volume 8415 von Lecture Notes in Computer Science, Seite 84-97. Springer, (2014)