 | 1998 |
|---|
| 5 |       | Ronald Herrmann:
Effizientes symbolisches Model-Checking von Realzeitaspekten für VHDL.
Universität Oldenburg 1998: I-VIII, 1-321 |
| 1995 |
|---|
| 4 |  | Ronald Herrmann,
Thomas Reielts:
Verification of a production cell using an automatic verification environment for VHDL.
EURO-DAC 1995: 542-547 |
| 3 | | Gert Döhmen,
Ronald Herrmann,
Hergen Pargmann:
Translating VHDL into Functional Symbolic Finite-State Models.
Formal Methods in System Design 7(1/2): 125-148 (1995) |
| 1994 |
|---|
| 2 | | Dennis Dams,
Rob Gerth,
Gert Döhmen,
Ronald Herrmann,
Peter Kelb,
Hergen Pargmann:
Model Checking Using Adaptive State and Data Abstraction.
CAV 1994: 455-467 |
| 1 | | Ronald Herrmann,
Hergen Pargmann:
Computing binary decision diagrams for VHDL data types.
EURO-DAC 1994: 578-583 |
Data released under the ODC-BY 1.0 license — See also our legal information page