Klaus Schneider, Tobias Schüle. A Framework for Verifying and Implementing Embedded Systems. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 242-247, Fraunhofer Institut für Integrierte Schaltungen, 2006.
@inproceedings{SchneiderS06,
title = {A Framework for Verifying and Implementing Embedded Systems},
author = {Klaus Schneider and Tobias Schüle},
year = {2006},
researchr = {https://researchr.org/publication/SchneiderS06},
cites = {0},
citedby = {0},
pages = {242-247},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006},
editor = {Bernd Straube and Martin Freibothe},
publisher = {Fraunhofer Institut für Integrierte Schaltungen},
}