Djones Lettnin, Pradeep Kumar Nalla, Jörg Behrend, Jürgen Ruf, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Volker Schönknecht, Stephan Reitemeyer
Semiformal verification of temporal properties in automotive hardware dependent software
DATE, 2009.
@inproceedings{DATE-2009-LettninNBRGKRSR,
author = "Djones Lettnin and Pradeep Kumar Nalla and Jörg Behrend and Jürgen Ruf and Joachim Gerlach and Thomas Kropf and Wolfgang Rosenstiel and Volker Schönknecht and Stephan Reitemeyer",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1214--1217",
publisher = "{IEEE}",
title = "{Semiformal verification of temporal properties in automotive hardware dependent software}",
year = 2009,
}