| 2000 |
|---|
| 4 | EE | François Terrier,
Nikos S. Voros,
Udo Brockmeyer:
Specification, Implementation, and Validation of Object-Oriented Embedded Systems.
ECOOP Workshops 2000: 150-177 |
| 1999 |
|---|
| 3 | EE | Tom Bienmüller,
Jürgen Bohn,
Henning Brinkmann,
Udo Brockmeyer,
Werner Damm,
Hardi Hungar,
Peter Jansen:
Verification of Automotive Control Units.
Correct System Design 1999: 319-341 |
| 1998 |
|---|
| 2 | | Udo Brockmeyer,
Gunnar Wittich:
Real-Time Verification of Statemate Designs.
CAV 1998: 537-541 |
| 1 | EE | Udo Brockmeyer,
Gunnar Wittich:
Tamagotchis Need Not Die - Verification of STATEMENT Design.
TACAS 1998: 217-231 |
