Autor der Publikation

Formal Development and Validation of Java Dependable Distributed Systems.

, , , und . ICECCS, Seite 98-108. IEEE Computer Society, (1999)

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

Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study., , , , und . J. Syst. Softw., 82 (2): 207-228 (2009)On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System., , und . AINA Workshops (2), Seite 629-634. IEEE Computer Society, (2007)Please ... . draw me a Software Engineer.. HICSS, Seite 1-5. ScholarSpace / AIS Electronic Library (AISeL), (2018)SLAPN : A Tool for Slicing Algebraic Petri Nets., und . PNSE @ Petri Nets, Volume 1160 von CEUR Workshop Proceedings, Seite 343-345. CEUR-WS.org, (2014)A Generic Framework for the Engineering of Self-Adaptive and Self-Organising Systems., , , und . Organic Computing - Controlled Self-organization, Volume 08141 von Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)EFTS 2007: the 2nd international workshop on engineering fault tolerant systems., , , und . ESEC/SIGSOFT FSE, Seite 617-618. ACM, (2007)The Fault-Tolerant Insulin Pump Therapy., , und . RODIN Book, Volume 4157 von Lecture Notes in Computer Science, Seite 59-79. Springer, (2006)Designing reliable real-time concurrent object-oriented software systems., und . SAC, Seite 1996-1997. ACM, (2009)Modeling Exception Handling: a UML2.0 Platform Independent Profile for CAA, , , und . Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions, in conjunction with ECOOP 2005, (25 July 2005)Engineering Fault Tolerant Systems, , , und . International Journal of Computer Systems Science and Engineering, (2008)