| |
| 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 | |
| 1 | Werner Damm | [3] |
| 2 | Hardi Hungar | [3] |
| 3 | Bernhard Josko | [5] |
| 4 | Peter Kelb | [3] |
| 5 | Franz Korf | [1] [2] [4] |
| 6 | Dieter Werth | [5] |