Autor der Publikation

The Sensoria Reference Modelling Language.

, , , und . Results of the SENSORIA Project, Volume 6582 von Lecture Notes in Computer Science, Springer, (2011)

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

Models for the Substitution Axiom of UNITY Logic., und . Inf. Process. Lett., 48 (4): 171-176 (1993)Mirror, Mirror in my Hand: A Duality between Specifications and Models of Process Behaviour., und . Mathematical Structures in Computer Science, 6 (4): 353-373 (1996)A formal model for service-oriented interactions., , und . Sci. Comput. Program., 77 (5): 577-608 (2012)Formal Aspects of Component Software (FACS 2013)., und . Sci. Comput. Program., (2015)Specification and Verification of Database Dynamics., und . Acta Inf., 25 (6): 625-661 (1988)Distribution concerns in service-oriented modelling., , und . IJIPT, 1 (3): 144-158 (2006)Feature Modeling and Composition with Coordination Contracts., und . FICS, Volume 2001-14 von Technical Report, Seite 49-54. University of Karlsruhe, Institut für Programmstrukturen und Datenorganisation, (2001)Preface., und . Theor. Comput. Sci., 366 (1-2): 1-2 (2006)An abstract model of service discovery and binding., , und . Formal Asp. Comput., 23 (4): 433-463 (2011)An Architectural Approach to Mobility - The Handover Case Study., , , und . WICSA, Seite 305-310. IEEE Computer Society, (2004)