dblp.uni-trier.dewww.uni-trier.de

Robert Büssow Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
4EERobert Büssow, Robert Geisler, Marcus Klar: Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. FASE 1998: 71-87
3EERobert 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

Coauthor Index

1Gabriel Baum (Gabriel A. Baum) [6]
2Hartmut Ehrig [6]
3Miguel Felder [6]
4Robert Geisler [4] [6]
5Wolfgang Grieskamp [2] [3] [5]
6Winfried Heicking [3]
7Stephan Herrmann [3]
8Stefan Jähnichen [6]
9Marcus Klar [4] [6]
10Ralf-Detlef Kutsche [6]
11Stefan Mann [6]
12Claudia Pons [6]
13Sergio Waldoke [6]
14Herbert Weber [6]
15Matthias Weber [1]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)