Autor der Publikation

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

Formal Service-Oriented Development of Fault Tolerant Communicating Systems., , , , und . RODIN Book, Volume 4157 von Lecture Notes in Computer Science, Seite 261-287. Springer, (2006)Defining Precise Semantics for UML., , , und . ECOOP Workshops, Volume 1964 von Lecture Notes in Computer Science, Seite 113-122. Springer, (2000)Formalising UML State Machines for Model Checking., und . UML, Volume 1723 von Lecture Notes in Computer Science, Seite 430-445. Springer, (1999)An approach to improve semantics in Smart Spaces using reactive fuzzy rules., , , und . IFSA/NAFIPS, Seite 436-441. IEEE, (2013)Power proportional characteristics of an energy manager for web clusters., , und . ICSAMOS, Seite 51-58. IEEE, (2011)Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation., und . Fundam. Informaticae, 70 (1-2): 1-20 (2006)Preface., und . Fundam. Informaticae, (2011)Erratum to: Exploiting smart spaces for interactive TV applications development., , und . J. Supercomput., 70 (3): 1617 (2014)Energy consumption analysis for two embedded Java virtual machines., und . J. Syst. Archit., 53 (5-6): 328-337 (2007)Timing Analysis of Message Sequence Charts, und . TUCS-TR-255. TUCS - Turku Centre for Computer Science, (März 1999)