Search the dblp DataBase

Publications of Author

1. Robert Büssow, Wolfgang Grieskamp
   Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ASIAN, 1997, pp:46-56 [Conf]
   
2. Robert Büssow, Matthias Weber
   A Steam-Boiler Control Specification with Statecharts and Z. [Citation Graph (0, 0)][DBLP]
   Formal Methods for Industrial Applications, 1995, pp:109-128 [Conf]
   
3. Robert Büssow, Robert Geisler, Marcus Klar
   Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. [Citation Graph (0, 0)][DBLP]
   FASE, 1998, pp:71-87 [Conf]
   
4. Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann
   An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. [Citation Graph (0, 0)][DBLP]
   FM-Trends, 1998, pp:184-195 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   German-Argentinian Workshop on Information Technology, 1999, pp:23-30 [Conf]
   
6. Robert Büssow, Wolfgang Grieskamp
   A Modular Framework for the Integration of Heterogeneous Notations and Tools. [Citation Graph (0, 0)][DBLP]
   IFM, 1999, pp:211-230 [Conf]