Autor der Publikation

A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.

, , , , , , , , und . ISoLA (3), Volume 12478 von Lecture Notes in Computer Science, Seite 240-254. Springer, (2020)

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

Agent-oriented visual modeling and model validation for engineering distributed systems., und . Comput. Syst. Sci. Eng., (2005)Requirements, Intentions, Goals and Applicable Norms., , , , , und . ER Workshops, Volume 7518 von Lecture Notes in Computer Science, Seite 195-200. Springer, (2012)Nòmos 3: Legal Compliance of Roles and Requirements., , , , und . ER, Volume 8824 von Lecture Notes in Computer Science, Seite 275-288. Springer, (2014)Grammar Based Genetic Programming for Software Configuration Problem., , , , , und . SSBSE, Volume 10452 von Lecture Notes in Computer Science, Seite 130-136. Springer, (2017)From Stakeholder Intentions to Software Agent Implementations., , , und . CAiSE, Volume 4001 von Lecture Notes in Computer Science, Seite 465-479. Springer, (2006)Managing Multi-Lingual User Feedback: The SUPERSEDE Project Experience., , und . REFSQ Workshops, Volume 2075 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)Research on NLP for RE at the FBK-Software Engineering Research Line: A Report., , und . REFSQ Workshops, Volume 2376 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Towards Risk Modeling for Collaborative AI., , , , , , und . WAIN@ICSE, Seite 51-54. IEEE, (2021)A Tropos Model-Driven Development Environment., , , , , , , , und . CAiSE Forum, Volume 231 von CEUR Workshop Proceedings, CEUR-WS.org, (2006)An agent-based approach to automated game testing: an experience report., , , , , , , , , und 1 andere Autor(en). A-TEST@ESEC/SIGSOFT FSE, Seite 1-8. ACM, (2022)