%0 Book %1 HaubeltTeich10 %A Haubelt, Christian %A Teich, Jürgen %B eXamen.press %C Heidelberg %D 2010 %I Springer %K 01624 103 springer book embedded system software development engineering process theory simulation test intro %R 10.1007/978-3-642-05356-6 %T Digitale Hardware/Software-Systeme: Spezifikation und Verifikation %X Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware-und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware-und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik-und Elektrotechnik-Studium. %@ 978-3-642-05355-9

@book{HaubeltTeich10, abstract = {Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware-und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das Lehrbuch dient als Einführung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware-und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik-und Elektrotechnik-Studium.}, added-at = {2016-09-25T12:39:09.000+0200}, address = {Heidelberg}, author = {Haubelt, Christian and Teich, J\"{u}rgen}, biburl = {https://www.bibsonomy.org/bibtex/2b14a6652b49ac4652d342b453f51b706/flint63}, doi = {10.1007/978-3-642-05356-6}, file = {SpringerLink:2010/HaubeltTeich10.pdf:PDF;Springer Produktseite:http\://www.springer.com/978-3-642-05355-9:URL;Amazon Search inside:http\://www.amazon.de/gp/reader/3642053556/:URL}, groups = {public}, interhash = {37693b52f7fc2cd46476ff09ddeede2b}, intrahash = {b14a6652b49ac4652d342b453f51b706}, isbn = {978-3-642-05355-9}, issn = {1614-5216}, keywords = {01624 103 springer book embedded system software development engineering process theory simulation test intro}, publisher = {Springer}, series = {eXamen.press}, timestamp = {2017-07-13T18:02:32.000+0200}, title = {Digitale Hardware/Software-Systeme: Spezifikation und Verifikation}, username = {flint63}, year = 2010 }