Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Rizaldi, Albert; Keinholz, Jonas; Huber, Monika; Feldle, Jochen; Immler, Fabian; Althoff, Matthias; Hilgendorf, Eric; Nipkow, Tobias
- Titel:
- Formalising and Monitoring Traffic Rules for Autonomous Vehicles in {Isabelle/HOL}
- Seitenangaben Beitrag:
- 50-66
- Kongress- / Buchtitel:
- Proc. of the 13th International Conference on integrated Formal Methods
- Jahr:
- 2017
- Volltext / DOI:
- doi:10.1007/978-3-319-66845-1_4
BibTeX