Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable hybrid verification for embedded software
DATE, 2011.
@inproceedings{DATE-2011-BehrendLHRKR,
author = "Jörg Behrend and Djones Lettnin and Patrick Heckeler and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel",
booktitle = "{Proceedings of the 15th Conference on Design, Automation and Test in Europe}",
isbn = "978-1-61284-208-0",
pages = "179--184",
publisher = "{IEEE}",
title = "{Scalable hybrid verification for embedded software}",
year = 2011,
}