Systematic Specification of a Service Safety Monitor for Autonomous Vehicles (bibtex)
by Nikita Bhardwaj Haupt, Peter Liggesmeyer
Reference:
N. Bhardwaj Haupt, P. Liggesmeyer, "Systematic Specification of a Service Safety Monitor for Autonomous Vehicles", in 5th Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2019 (EDCC Workshop).
Bibtex Entry:
@inproceedings{bhardwaj2019servicesafetymonitor,
  title={Systematic Specification of a Service Safety Monitor for Autonomous Vehicles},
  author={Bhardwaj Haupt, Nikita and Liggesmeyer, Peter},
  booktitle={5th Workshop on Critical Automotive Applications: Robustness {\&}
               Safety, {CARS} 2019 {(EDCC} Workshop)},
  year={2019},
  organization={ACM}
}
Powered by bibtexbrowser