%0 Conference Paper %1 conf/date/SieglHGB11 %A Siegl, Sebastian %A Hielscher, Kai-Steffen Jens %A German, Reinhard %A Berger, Christian %B DATE %D 2011 %I IEEE %K %P 118-123 %T Formal specification and systematic model-driven testing of embedded automotive systems. %U http://dblp.uni-trier.de/db/conf/date/date2011.html#SieglHGB11 %@ 978-1-61284-208-0

@inproceedings{conf/date/SieglHGB11, added-at = {2023-12-12T20:19:45.000+0100}, author = {Siegl, Sebastian and Hielscher, Kai-Steffen Jens and German, Reinhard and Berger, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2774e422a88d9aaaaec411293ca0c38d9/admin}, booktitle = {DATE}, crossref = {conf/date/2011}, ee = {http://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763028}, interhash = {2daab559bf4b213fa0349b851d10c3a0}, intrahash = {774e422a88d9aaaaec411293ca0c38d9}, isbn = {978-1-61284-208-0}, keywords = {}, pages = {118-123}, publisher = {IEEE}, timestamp = {2023-12-12T20:19:45.000+0100}, title = {Formal specification and systematic model-driven testing of embedded automotive systems.}, url = {http://dblp.uni-trier.de/db/conf/date/date2011.html#SieglHGB11}, year = 2011 }