Searching for authors named Manfred Broy – sorted by Relevance.
-
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

