( en | de | ru )

 

Disambiguierung von "Pettersson, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
UPPAAL - present and future.

, , , , , und . CDC, Seite 2881-2886. IEEE, (2001)

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.

Magnus Pettersson

Tobias Pettersson

Stefan Pettersson

Vilhelm Irgens Pettersson

Klaus-Peter Paul

 

Weitere Publikationen von Autoren mit dem selben Namen

Cover - A Test-Case Generation Tool for Timed Systems, und . Testing of Software and Communicating Systems, Seite 31–34. (2007)Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck., und . ETFA, Seite 1-8. IEEE, (2010)Guest Editors' Foreword., und . Nord. J. Comput., 12 (2): 67- (2005)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)Regression verification of AADL models through slicing of system dependence graphs., , , und . QoSA, Seite 103-112. ACM, (2014)Diagnostic Model-Checking for Real-Time Systems., , und . Hybrid Systems, Volume 1066 von Lecture Notes in Computer Science, Seite 575-586. Springer, (1995)A Comparative Study of Manual and Automated Testing for Industrial Control Software., , , und . ICST, Seite 412-417. IEEE Computer Society, (2017)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)Using mutation to design tests for aspect-oriented models., , , , und . Inf. Softw. Technol., (2017)Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems., , und . FASE, Volume 7212 von Lecture Notes in Computer Science, Seite 115-129. Springer, (2012)