( en | de | ru )

 

Disambiguierung von "ter Beek, Maurice H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Spatial Model Checking for Smart Stations - Research Challenges.

, , , , und . FMICS, Volume 12863 von Lecture Notes in Computer Science, Seite 39-47. Springer, (2021)

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.

Nina Beek

Bernd Beek

Markus Beek

Bettina Beek

Hans Beek

 

Weitere Publikationen von Autoren mit dem selben Namen

Sensoria Results Applied to the Case Studies.. Results of the SENSORIA Project, Volume 6582 von Lecture Notes in Computer Science, Springer, (2011)Applying the product lines paradigm to the quantitative analysis of collective adaptive systems., , und . SPLC, Seite 321-326. ACM, (2015)Software product line analysis with mCRL2., und . SPLC Workshops, Seite 78-85. ACM, (2014)The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back., , und . From Software Engineering to Formal Methods and Tools, and Back, Volume 11865 von Lecture Notes in Computer Science, Seite 1-11. Springer, (2019)Supervisory Controller Synthesis for Product Lines Using CIF 3., , und . ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 856-873. (2016)Detecting policy conflicts by model checking UML state machines., , , und . ICFI, Seite 59-74. IOS Press, (2009)An Experience on Formal Analysis of a High-Level Graphical SOA Design., , und . FM+AM, Volume P-179 von LNI, Seite 79-98. GI, (2010)Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios., , , und . VaMoS, Seite 11:1-11:9. ACM, (2020)Validating reconfigurations of reo circuits in an e-Banking scenario., , und . ISARCS, Seite 39-48. ACM, (2013)A Deontic Logical Framework for Modelling Product Families., , , und . VaMoS, Volume 37 von ICB-Research Report, Seite 37-44. Universität Duisburg-Essen, (2010)