( en | de | ru )

 

Disambiguierung von "Larsson, Fredrik"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UPPAAL in 1995.

, , , , und . TACAS, Volume 1055 von Lecture Notes in Computer Science, Seite 431-434. Springer, (1996)

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.

Andreas Larsson

Willi Larsson

Emil Larsson

Joachim Larsson

Lars Larsson

 

Weitere Publikationen von Autoren mit dem selben Namen

Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation Project., , und . AMCIS, Association for Information Systems, (2015)Efficient verification of real-time systems: compact data structure and state-space reduction., , , und . RTSS, Seite 14-24. IEEE Computer Society, (1997)UPPAAL in 1995., , , , und . TACAS, Volume 1055 von Lecture Notes in Computer Science, Seite 431-434. Springer, (1996)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 244-256. Springer, (1996)On Memory-Block Traversal Problems in Model-Checking Timed-Systems., , und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2000)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)Verdict machinery: on the need to automatically make sense of test results., , , , , , , und . ISSTA, Seite 225-234. ACM, (2016)Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems, , , , und . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, Seite 232--243. Springer, (Oktober 1995)Simics: A Full System Simulation Platform., , , , , , , , und . Computer, 35 (2): 50-58 (2002)Torchlight Navigation., , , , und . ICPR, Seite 302-306. IEEE Computer Society, (2010)