%0 Conference Paper %1 conf/mtv/AronsEMS06 %A Arons, Tamarah %A Elster, Elad %A Murphy, Terry %A Singerman, Eli %B MTV %D 2006 %E Abadir, Magdy S. %E Wang, Li-C. %E Bhadra, Jayanta %I IEEE Computer Society %K dblp %P 45-51 %T Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. %U http://dblp.uni-trier.de/db/conf/mtv/mtv2006.html#AronsEMS06 %@ 978-0-7695-2839-7

@inproceedings{conf/mtv/AronsEMS06, added-at = {2023-03-24T00:00:00.000+0100}, author = {Arons, Tamarah and Elster, Elad and Murphy, Terry and Singerman, Eli}, biburl = {https://www.bibsonomy.org/bibtex/29e459d854362abada87c25851e7df14f/dblp}, booktitle = {MTV}, crossref = {conf/mtv/2006}, editor = {Abadir, Magdy S. and Wang, Li-C. and Bhadra, Jayanta}, ee = {https://doi.ieeecomputersociety.org/10.1109/MTV.2006.11}, interhash = {c7b04f7294dba56498ea643ad21455fb}, intrahash = {9e459d854362abada87c25851e7df14f}, isbn = {978-0-7695-2839-7}, keywords = {dblp}, pages = {45-51}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:49:22.000+0200}, title = {Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation.}, url = {http://dblp.uni-trier.de/db/conf/mtv/mtv2006.html#AronsEMS06}, year = 2006 }