Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}