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

Preface., und . Fundam. Informaticae, (2011)Formal Model-Driven Development of Communicating Systems, , , , und . (2005)Timing Analysis of Message Sequence Charts, und . TUCS-TR-255. TUCS - Turku Centre for Computer Science, (März 1999)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)Power proportional characteristics of an energy manager for web clusters., , und . ICSAMOS, Seite 51-58. IEEE, (2011)An approach to improve semantics in Smart Spaces using reactive fuzzy rules., , , und . IFSA/NAFIPS, Seite 436-441. IEEE, (2013)Formalising UML State Machines for Model Checking., und . UML, Volume 1723 von Lecture Notes in Computer Science, Seite 430-445. Springer, (1999)A language for multiple models of computation., und . CODES, Seite 25-30. ACM, (2002)Digital Sound Recorder: A case study on designing embedded systems using the UML notation, und . TUCS Technical Report, 234. Turku Centre for Computer Science, Turku Centre for Computer Science, Lemminkäisenkatu 14, FIN-20520 Turku, Finland, (Januar 1999)