Autor der Publikation

TERMOS: A Formal Language for Scenarios in Mobile Computing Systems.

, , , , und . MobiQuitous, Volume 73 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 285-296. Springer, (2010)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Analytics of resource transients in cloud-based applications., , , , und . IJCC, 2 (2/3): 191-212 (2013)Robustness Testing Techniques and Tools., , , , , und . Resilience Assessment and Evaluation of Computing Systems, Springer, (2012)Scenario-based Automated Evaluation of Test Traces of Autonomous Systems., , und . DECS@SAFECOMP, HAL, (2013)Model-Based Regression Testing of Autonomous Robots., , , und . SDL Forum, Volume 10567 von Lecture Notes in Computer Science, Seite 119-135. Springer, (2017)Classifying the Correctness of Generated White-Box Tests: An Exploratory Study., und . CoRR, (2017)SEViz: A Tool for Visualizing Symbolic Execution., , und . ICST, Seite 1-8. IEEE Computer Society, (2015)Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles., , , , , , , , und . MoDELS, Seite 89-94. IEEE, (2019)TERMOS: A Formal Language for Scenarios in Mobile Computing Systems., , , , und . MobiQuitous, Volume 73 von Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Seite 285-296. Springer, (2010)Mobile Systems from a Validation Perspective: a Case Study., , , und . ISPDC, Seite 85-92. IEEE Computer Society, (2007)Development of Model Based Tools to Support the Design of Railway Control Applications., , und . SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 430-435. Springer, (2007)