BibTeX record conf/mesas/BernardeschiVND16

• > Home > conf/mesas/BernardeschiVND16

@inproceedings{DBLP:conf/mesas/BernardeschiVND16,
  author       = {Cinzia Bernardeschi and
                  Gabriele Del Vigna and
                  Marco Di Natale and
                  Gianluca Dini and
                  Dario Varano},
  editor       = {Jan Hodick{\'{y}}},
  title        = {Using {AUTOSAR} High-Level Specifications for the Synthesis of Security
                  Components in Automotive Systems},
  booktitle    = {Modelling and Simulation for Autonomous Systems - Third International
                  Workshop, {MESAS} 2016, Rome, Italy, June 15-16, 2016, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9991},
  pages        = {101--117},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47605-6\_8},
  doi          = {10.1007/978-3-319-47605-6\_8},
  timestamp    = {Fri, 27 Mar 2020 08:48:25 +0100},
  biburl       = {https://dblp.org/rec/conf/mesas/BernardeschiVND16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}