 | 2003 |
|---|
| 7 |       | Robert Büssow:
Model checking combined Z and statechart specifications.
Berlin Institute of Technology 2003 |
| 1999 |
|---|
| 6 |  | Herbert Weber,
Marcus Klar,
Stefan Mann,
Ralf-Detlef Kutsche,
Stefan Jähnichen,
Robert Büssow,
Hartmut Ehrig,
Robert Geisler,
Gabriel Baum,
Claudia Pons,
Miguel Felder,
Sergio Waldoke:
Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques.
German-Argentinian Workshop on Information Technology 1999: 23-30 |
| 5 | | Robert Büssow,
Wolfgang Grieskamp:
A Modular Framework for the Integration of Heterogeneous Notations and Tools.
IFM 1999: 211-230 |
| 1998 |
|---|
| 4 | | Robert Büssow,
Robert Geisler,
Marcus Klar:
Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study.
FASE 1998: 71-87 |
| 3 | | Robert Büssow,
Wolfgang Grieskamp,
Winfried Heicking,
Stephan Herrmann:
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.
FM-Trends 1998: 184-195 |
| 1997 |
|---|
| 2 | | Robert Büssow,
Wolfgang Grieskamp:
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems.
ASIAN 1997: 46-56 |
| 1995 |
|---|
| 1 | | Robert Büssow,
Matthias Weber:
A Steam-Boiler Control Specification with Statecharts and Z.
Formal Methods for Industrial Applications 1995: 109-128 |
Data released under the ODC-BY 1.0 license — See also our legal information page