Searching for authors named Manfred Broy – sorted by Relevance.
67 documents found, showing 1 through 10.
Next 10 →
-
Contents
- …Compositional Re nement ofInteractive Systems Manfred Broy Institut fur Informatik Technische…
- Add To MetaCart
-
Algebraic Specification of Reactive Systems
- …Algebraic Specification of Reactive Systems * Manfred Broy Institut fr Informatik, Technische…
- Cited by 5 (0 self) – Add To MetaCart
-
Compositional Refinement of Interactive Systems Modelled by Relations
- …Compositional Refinement of Interactive Systems Modelled by Relations * Manfred Broy Fakultt fr…
- Cited by 8 (0 self) – Add To MetaCart
-
A Logical Basis for Component-Based Systems Engineering
- …A Logical Basis for Component-Based Systems Engineering * Manfred BROY Institut fr Informatik…
- Cited by 7 (1 self) – Add To MetaCart
-
Dynamic Distributed Systems - Towards a Mathematical Model (Extended Abstract)
- …Dynamic Distributed Systems * Towards a Mathematical Model Extended Abstract Manfred Broy Institut…
- Cited by 1 (0 self) – Add To MetaCart
-
Requirements Engineering for Embedded Systems
- …Requirements Engineering for Embedded Systems 1) Manfred Broy Technische Universität München…
- Cited by 4 (0 self) – Add To MetaCart
-
A Functional Solution to the RPC-Memory Specification Problem
- …A Functional Solution to the RPC-Memory Specification Problem ? Manfred Broy Institut fur…
- Cited by 2 (0 self) – Add To MetaCart
-
Specification and Refinement of a Buffer of Length One
- …Specification and Refinement of a Buffer of Length One Manfred Broy Institut fur Informatik…
- Cited by 3 (1 self) – Add To MetaCart
-
A Functional Rephrasing of the Assumption/Commitment Specification Style
- …AFunctional Rephrasing of the Assumption/Commitment Speci cation Style Manfred Broy Institut fur…
- Cited by 12 (4 self) – Add To MetaCart
-
Equations for Describing Dynamic Nets of Communicating Systems
- …Equations for Describing Dynamic Nets of Communicating Systems 1) Manfred Broy Institut fr…
- Cited by 12 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
