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

Predicative Specifications for Functional Programs Describing Communication Networks.. Inf. Process. Lett., 25 (2): 93-101 (1987)Denotational Semantics of Communicating Processes Based on a Language for Applicative Multiprogramming.. Inf. Process. Lett., 17 (1): 29-35 (1983)Verifying of interface assertions for infinite state Mealy machines.. J. Comput. Syst. Sci., 80 (7): 1298-1322 (2014)The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems.. SEW, Seite 85-88. IEEE Computer Society, (2006)A Formal Model for Componentware., , , , und . FBT, Seite 17-26. Herbert Utz Verlag, (1999)Methodological Objectives for Formal Description Techniques.. FORTE, Seite 1-16. North-Holland, (1990)Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)A Systematic Approach to Language Constructs for Concurrent Programs., und . Sci. Comput. Program., 4 (2): 103-139 (1984)Multifunctional software systems: Structured modeling and specification of functional requirements.. Sci. Comput. Program., 75 (12): 1193-1214 (2010)A semantic and methodological essence of message sequence charts.. Sci. Comput. Program., 54 (2-3): 213-256 (2005)