Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

Ernst-Rüdinger Olderog, Anders Peter Ravn, Rafal Wisniewski

Research output: Contribution to book/anthology/report/conference proceedingBook chapterResearchpeer-review

Original languageEnglish
Title of host publicationProvably Correct Systems
PublisherSpringer
Publication date2017
Pages95-120
ISBN (Print)978-3-319-48627-7
DOIs
Publication statusPublished - 2017
SeriesNASA Monographs in Systems and Software Engineering
ISSN1860-0131

Cite this

Olderog, E-R., Ravn, A. P., & Wisniewski, R. (2017). Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. In Provably Correct Systems (pp. 95-120). Springer. NASA Monographs in Systems and Software Engineering https://doi.org/10.1007/978-3-319-48628-4_5