Autor der Publikation

Modeling and Reasoning about Service Behaviors and Their Compositions.

, , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 82-96. 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

Project Deliverable D3.1 Prediction Model Specification (revised version), , , , , , , , , und 1 andere Autor(en). (September 2009)Applying REMES behavioral modeling to PLC systems., und . ICAT, Seite 1-8. IEEE, (2009)Applicability of the IEC 62443 standard in Industry 4.0 / IIoT., , und . ARES, Seite 101:1-101:8. ACM, (2019)Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations.. Mälardalen University, Sweden, (2014)base-search.net (ftmaelardalensho:oai:DiVA.org:mdh-23271).Communication and Security in Health Monitoring Systems - A Review., , , und . COMPSAC, Seite 545-554. IEEE Computer Society, (2016)A Questionnaire Study on the Use of Access Control in Industrial Systems., , , und . ETFA, Seite 1-8. IEEE, (2021)Modeling and Reasoning about Service Behaviors and Their Compositions., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 82-96. Springer, (2010)An Actor-Based Approach for Security Analysis of Cyber-Physical Systems., , , , , und . FMICS, Volume 12327 von Lecture Notes in Computer Science, Seite 130-147. Springer, (2020)Towards Attack Models in Autonomous Systems of Systems., , , , , und . SoSE, Seite 583-585. IEEE, (2018)Incorporating Attacks Modeling into Safety Process., , , , , , und . SAFECOMP Workshops, Volume 11094 von Lecture Notes in Computer Science, Seite 31-41. Springer, (2018)