Scalable hybrid verification for embedded software
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jörg Behrend, Djones Lettnin, Patrick Heckeler, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Scalable hybrid verification for embedded software
DATE, 2011.

DATE 2011
Full names Links ISxN
	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,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.