BibTeX record conf/edcc/HeuvelBVL10

• > Home > conf/edcc/HeuvelBVL10

@inproceedings{DBLP:conf/edcc/HeuvelBVL10,
  author       = {Martijn M. H. P. van den Heuvel and
                  Reinder J. Bril and
                  Peter van de Velde and
                  Johan J. Lukkien},
  editor       = {Jean{-}Charles Fabre and
                  Olivier Guetta and
                  Mario Trapp},
  title        = {Towards verification-based development of in-vehicle safety critical
                  software: a case study},
  booktitle    = {1st Workshop on Critical Automotive Applications: Robustness {\&}
                  Safety, {CARS} 2010 {(EDCC} Workshop), Valencia, Spain, 27 April 2010},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {35--38},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1772643.1772654},
  doi          = {10.1145/1772643.1772654},
  timestamp    = {Thu, 14 Oct 2021 10:08:40 +0200},
  biburl       = {https://dblp.org/rec/conf/edcc/HeuvelBVL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}