| 1998 |
|---|
| 5 | EE | Rainer Schlör,
Bernhard Josko,
Dieter Werth:
Using a Visual Formalism for Design Verification in Industrial Environments.
Services and Visualization: Towards User-Friendly Design 1998: 208-221 |
| 1995 |
|---|
| 4 | EE | Rainer Schlör,
Franz Korf:
Verification of a production cell controller using symbolic timing diagrams.
EURO-DAC 1995: 548-553 |
| 3 | | Werner Damm,
Hardi Hungar,
Peter Kelb,
Rainer Schlör:
Statecharts.
Formal Development of Reactive Systems 1995: 131-149 |
| 2 | | Franz Korf,
Rainer Schlör:
Symbolic Timing Diagrams.
Formal Development of Reactive Systems 1995: 311-331 |
| 1994 |
|---|
| 1 | | Franz Korf,
Rainer Schlör:
Interface Controller Synthesis from Requirement Specifications.
EDAC-ETC-EUROASIC 1994: 385-394 |
