Autor der Publikation

Formal Modeling and Verification of Systems with Self-x Properties.

, , und . ATC, Volume 4158 von Lecture Notes in Computer Science, Seite 38-47. Springer, (2006)

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

Correctness of Efficient Real-Time Model Checking., , , und . J. UCS, 7 (2): 194-209 (2001)J.UCS Special Issue on Tools for System Design and Verification - Part 1., und . J. UCS, 7 (1): 1-2 (2001)A Particle Swarm Optimizer for Solving the Set Partitioning Problem in the Presence of Partitioning Constraints., , und . ICAART (2), Seite 151-163. SciTePress, (2015)Trusted Community - A Trust-based Multi-Agent Organisation for Open Systems., , , , und . ICAART (1), Seite 312-317. SciTePress, (2013)Synthesis and Abstraction of Constraint Models for Hierarchical Resource Allocation Problems., , und . ICAART (2), Seite 15-27. SciTePress, (2014)Model-Driven Development of Information Flow-Secure Systems with IFlow., , , und . SocialCom, Seite 51-56. IEEE Computer Society, (2013)Model-Driven Development of Secure Service Applications., , , und . SEW, Seite 62-71. IEEE Computer Society, (2012)ASN1-light: A Verified Message Encoding for Security Protocols., , , und . SEFM, Seite 195-204. IEEE Computer Society, (2007)Interleaved Programs and Rely-Guarantee Reasoning with ITL., , , und . TIME, Seite 99-106. IEEE, (2011)A Taxonomy of Distribution for Cooperative Mobile Manipulators., , , , und . ICINCO (2), Seite 74-83. SciTePress, (2015)