Specification-based Verification of Embedded Systems by Automated Test Case Generation

Christoph Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiß, Markus Pistauer

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 results

Active
Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Project: Research area