%0 Conference Paper %1 conf/amcc/ResmeritaP12 %A Resmerita, Stefan %A Pree, Wolfgang %B ACC %D 2012 %I IEEE %K dblp %P 3581-3586 %T Verification of embedded control systems by simulation and program execution control. %U http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#ResmeritaP12 %@ 978-1-4577-1095-7

@inproceedings{conf/amcc/ResmeritaP12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Resmerita, Stefan and Pree, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2121443c447b33e63f33cb1d885fbbe99/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2012}, ee = {https://doi.org/10.1109/ACC.2012.6315536}, interhash = {551707946e79564dd2dd67f2530c6492}, intrahash = {121443c447b33e63f33cb1d885fbbe99}, isbn = {978-1-4577-1095-7}, keywords = {dblp}, pages = {3581-3586}, publisher = {IEEE}, timestamp = {2024-04-09T13:53:30.000+0200}, title = {Verification of embedded control systems by simulation and program execution control.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2012.html#ResmeritaP12}, year = 2012 }