| 2008 |
|---|
| 4 | EE | Uwe Proß,
Erik Markert,
Jan Langer,
Andreas Richter,
Chris Drechsler,
Ulrich Heinkel:
A Platform for Requirement Based Formal Specification.
FDL 2008: 237-238 |
| 2006 |
|---|
| 3 | EE | Vasco Jerinic,
Jan Langer,
Ulrich Heinkel,
Dietmar Müller:
New methods and coverage metrics for functional verification.
DATE 2006: 1025-1030 |
| 2 | | Grygoriy Bunin,
Axel Schneider,
Christian Haubelt,
Jan Langer,
Ulrich Heinkel:
Automatic Test Case Generation with NuSMV.
GI Jahrestagung (2) 2006: 262-263 |
| 1 | EE | Axel Schneider,
Stephan Walter,
Jan Langer,
Ulrich Heinkel:
Automatic Visualization of Abstract System Specifications.
QSIC 2006: 167-174 |
