The SCEAS System
Navigation Menu

Search the dblp DataBase


Robert Büssow: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002