Autor der Publikation

Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004

, , , , und (Hrsg.) Volume 3472 von Lecture Notes in Computer Science, Springer, (2005)

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

Computing refactorings of state machines, und . Software and Systems Modeling, 6 (4): 381--399 (Dezember 2007)A Taxonomy of Model-Based Testing Approaches, , und . Softw. Test. Verif. Reliab., 22 (5): 297–312 (2012)Personalization on the Web, und . Information and Telecommunication Technology Center, (1999)Ethics in the Software Development Process: From Codes of Conduct to Ethical Deliberation., , , , , und . CoRR, (2020)Mechanisms for usage control., , , , und . AsiaCCS, Seite 240-244. ACM, (2008)Defining a Software Maintainability Dataset: Collecting, Aggregating and Analysing Expert Evaluations of Software Maintainability., , und . ICSME, Seite 278-289. IEEE, (2020)From Checking to Inference: Actual Causality Computations as Optimization Problems., und . ATVA, Volume 12302 von Lecture Notes in Computer Science, Seite 343-359. Springer, (2020)Poking the bear: lessons learned from probing three Android malware datasets., und . A-Mobile@ASE, Seite 19-24. ACM, (2018)Data Protection in a Cloud-Enabled Smart Grid., , und . SmartGridSec, Volume 7823 von Lecture Notes in Computer Science, Seite 96-107. Springer, (2012)Idea: Automatic Localization of Malicious Behaviors in Android Malware with Hidden Markov Models., , und . ESSoS, Volume 10953 von Lecture Notes in Computer Science, Seite 108-115. Springer, (2018)