%0 Conference Paper %1 conf/edcc/HeuvelBVL10 %A van den Heuvel, Martijn M. H. P. %A Bril, Reinder J. %A van de Velde, Peter %A Lukkien, Johan J. %B EDCC-CARS %D 2010 %E Fabre, Jean-Charles %E Guetta, Olivier %E Trapp, Mario %I ACM %K dblp %P 35-38 %T Towards verification-based development of in-vehicle safety critical software: a case study. %U http://dblp.uni-trier.de/db/conf/edcc/cars2010.html#HeuvelBVL10 %@ 978-1-60558-915-2

@inproceedings{conf/edcc/HeuvelBVL10, added-at = {2021-10-14T00:00:00.000+0200}, author = {van den Heuvel, Martijn M. H. P. and Bril, Reinder J. and van de Velde, Peter and Lukkien, Johan J.}, biburl = {https://www.bibsonomy.org/bibtex/2498211641c4c4c5845bee36dbd5bf318/dblp}, booktitle = {EDCC-CARS}, crossref = {conf/edcc/2010cars}, editor = {Fabre, Jean-Charles and Guetta, Olivier and Trapp, Mario}, ee = {https://doi.org/10.1145/1772643.1772654}, interhash = {9f06563790ff0a0f47f674f498149107}, intrahash = {498211641c4c4c5845bee36dbd5bf318}, isbn = {978-1-60558-915-2}, keywords = {dblp}, pages = {35-38}, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, timestamp = {2024-04-10T04:06:01.000+0200}, title = {Towards verification-based development of in-vehicle safety critical software: a case study.}, url = {http://dblp.uni-trier.de/db/conf/edcc/cars2010.html#HeuvelBVL10}, year = 2010 }