( en | de | ru )

 

Disambiguierung von "Bengtsson, Johan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated verification of an audio-control protocol using UPPAAL.

, , , , , , und . J. Log. Algebraic Methods Program., (2002)

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.

Tomas Bengtsson

Wolfgang Bengtsson

Luiza Bengtsson

Jerker Bengtsson

Johan Waern

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Control of homogeneous charge compression ignition (HCCI) engine dynamics., , , , und . ACC, Seite 4048-4053. IEEE, (2004)Timed Automata: Semantics, Algorithms and Tools., und . Lectures on Concurrency and Petri Nets, Volume 3098 von Lecture Notes in Computer Science, Seite 87-124. Springer, (2003)Partial Order Reductions for Timed Systems., , , und . CONCUR, Volume 1466 von Lecture Notes in Computer Science, Seite 485-500. Springer, (1998)Automated verification of an audio-control protocol using UPPAAL., , , , , , und . J. Log. Algebraic Methods Program., (2002)On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata., und . ICFEM, Volume 2885 von Lecture Notes in Computer Science, Seite 491-503. Springer, (2003)Modeling of HCCI engine combustion for control analysis., , und . CDC, Seite 1682-1687. IEEE, (2004)Quality assurance of generative dialog models in an evolving conversational agent used for Swedish language practice., , , , , und . CAIN, Seite 22-32. ACM, (2022)