Sebastian Siegl, Kai-Steffen Jens Hielscher, Reinhard German, Christian Berger
Formal specification and systematic model-driven testing of embedded automotive systems
DATE, 2011.
@inproceedings{DATE-2011-SieglHGB,
author = "Sebastian Siegl and Kai-Steffen Jens Hielscher and Reinhard German and Christian Berger",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "118--123",
publisher = "{IEEE}",
title = "{Formal specification and systematic model-driven testing of embedded automotive systems}",
year = 2011,
}