|
Search the dblp DataBase
Udo Brockmeyer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. [Citation Graph (0, 0)][DBLP] Correct System Design, 1999, pp:319-341 [Conf]
- Udo Brockmeyer, Gunnar Wittich
Real-Time Verification of Statemate Designs. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:537-541 [Conf]
- François Terrier, Nikos S. Voros, Udo Brockmeyer
Specification, Implementation, and Validation of Object-Oriented Embedded Systems. [Citation Graph (0, 0)][DBLP] ECOOP Workshops, 2000, pp:150-177 [Conf]
- Udo Brockmeyer, Gunnar Wittich
Tamagotchis Need Not Die - Verification of STATEMENT Design. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:217-231 [Conf]
Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|