Searching for authors named "Michael von der Beeck" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Behaviour Specifications: Equivalence And Refinement
- … and Refinement Notions Michael von der Beeck Institut für Informatik Technische Universität München 80290 München…
- Add To MetaCart
-
A Concise Compositional Statecharts Semantics Definition
- …A CONCISE COMPOSITIONAL STATECHARTS SEMANTICS DEFINITION Michael von der Beeck Department…
- Cited by 2 (1 self) – Add To MetaCart
-
Statecharts Via Process Algebra
- …Statecharts Via Process Algebra ? Gerald Luttgen 1 , Michael von der Beeck 2 , and Rance…
- Cited by 14 (9 self) – Add To MetaCart
-
Automatic Synthesis of Linear Process Models from Temporal Constraints -- An Incremental Approach
- … Bernhard Ste en Tiziana Margaria Michael von der Beeck Lehrstuhl fur Programmiersysteme Universitat Passau…
- Cited by 1 (1 self) – Add To MetaCart
-
A Compositional Approach to Statecharts Semantics
- … Lttgen ICASE, Hampton, Virginia Michael von der Beeck Munich University of Technology, Mchen, Germany…
- Cited by 20 (4 self) – Add To MetaCart
-
A Compositional Approach to Statecharts Semantics
- … Lttgen ICASE, Hampton, Virginia Michael von der Beeck Munich University of Technology, Mchen, Germany…
- Add To MetaCart
Showing 1 through 6.
