Autor der Publikation

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

Model Checking of Non-Finite State Processes by Finite Approximations., , , und . TACAS, Volume 1019 von Lecture Notes in Computer Science, Seite 195-215. Springer, (1995)Are Standards an Ambiguity-Free Reference for Product Validation?, , und . RSSRail, Volume 10598 von Lecture Notes in Computer Science, Seite 251-264. Springer, (2017)Interview Review: An Empirical Study on Detecting Ambiguities in Requirements Elicitation Interviews., , , , und . REFSQ, Volume 10753 von Lecture Notes in Computer Science, Seite 101-118. Springer, (2018)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , und . FMOODS, Volume 3535 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2005)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , und . Graph-Grammars and Their Application to Computer Science and Biology, Volume 73 von Lecture Notes in Computer Science, Seite 167-179. Springer, (1978)Adopting a Machine Learning Approach in the Design of Smart Transportation Systems., , , und . ERCIM News, (2016)Smart Services for Railways., , , und . ERCIM News, (2019)Formal Modelling and Verification in Service-Oriented Computing., , , , und . ERCIM News, (2007)A Model-Checking Tool for Families of Services., , , und . FMOODS/FORTE, Volume 6722 von Lecture Notes in Computer Science, Seite 44-58. Springer, (2011)Refinement of Behavioural Models for Variability Description., und . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)