|
Search the dblp DataBase
Jan Langer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Vasco Jerinic, Jan Langer, Ulrich Heinkel, Dietmar Müller
New methods and coverage metrics for functional verification. [Citation Graph (0, 0)][DBLP] DATE, 2006, pp:1025-1030 [Conf]
- Grygoriy Bunin, Axel Schneider, Christian Haubelt, Jan Langer, Ulrich Heinkel
Automatic Test Case Generation with NuSMV. [Citation Graph (0, 0)][DBLP] GI Jahrestagung (2), 2006, pp:262-263 [Conf]
- Axel Schneider, Stephan Walter, Jan Langer, Ulrich Heinkel
Automatic Visualization of Abstract System Specifications. [Citation Graph (0, 0)][DBLP] QSIC, 2006, pp:167-174 [Conf]
Demonstration of an in-band reconfiguration data distribution and network node reconfiguration. [Citation Graph (, )][DBLP]
A Platform for Requirement Based Formal Specification. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|