( en | de | ru )

 

Disambiguierung von "Broy, Manfred"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
O.P.E.N. Study (Internal Version)

, , , , und . Internal Report for Nemetschek AG, München, (November 1997)

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.

Manfred Broy

Manfred Broy

Julius Broy

Werner Broy

Julian Broy

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a wide spectrum language to support program specification and program development., , , , und . Fachtagung über Programmiersprachen, Volume 12 von Informatik-Fachberichte, Seite 73-85. Springer, (1978)From MSCs to statecharts, , , und . DIPES '98: Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems, Seite 61--71. Norwell, MA, USA, Kluwer Academic Publishers, (1999)From States to Histories. (2000)Compositional refinement of interactive systems. J. ACM, 44 (6): 850--891 (November 1997)A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer.. Acta Inf., 52 (4-5): 299-301 (2015)Adding Fair Choice to Dijkstra's Calculus., und . ACM Trans. Program. Lang. Syst., 16 (3): 924-938 (1994)UML 2 Semantics Symposium: Formal Semantics for UML., , , , , und . CoRR, (2014)Formalization of Distributed, Concurrent, Reactive Systems.. Formal Description of Programming Concepts, Seite 319-262. Springer, (1989)Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.. Concurrency, Compositionality, and Correctness, Volume 5930 von Lecture Notes in Computer Science, Seite 118-126. Springer, (2010)Algebraic Specification of Reactive Systems.. AMAST, Volume 1101 von Lecture Notes in Computer Science, Seite 487-503. Springer, (1996)