| Originalsprog | Engelsk |
|---|---|
| Titel | Provably Correct Systems |
| Forlag | Springer |
| Publikationsdato | 2017 |
| Sider | 95-120 |
| ISBN (Trykt) | 978-3-319-48627-7 |
| DOI | |
| Status | Udgivet - 2017 |
| Navn | NASA Monographs in Systems and Software Engineering |
|---|---|
| ISSN | 1860-0131 |
Citer dette
Olderog, E-R., Ravn, A. P., & Wisniewski, R. (2017). Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. I Provably Correct Systems (s. 95-120). Springer. NASA Monographs in Systems and Software Engineering https://doi.org/10.1007/978-3-319-48628-4_5
@inbook{721a0cc8714d4fa1b26306baf99dba64,
title = "Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers",
author = "Ernst-R{\"u}dinger Olderog and Ravn, {Anders Peter} and Rafal Wisniewski",
year = "2017",
doi = "10.1007/978-3-319-48628-4_5",
language = "English",
isbn = "978-3-319-48627-7",
series = "NASA Monographs in Systems and Software Engineering",
pages = "95--120",
booktitle = "Provably Correct Systems",
publisher = "Springer",
address = "Germany",
}
Olderog, E-R, Ravn, AP & Wisniewski, R 2017, Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. i Provably Correct Systems. Springer, NASA Monographs in Systems and Software Engineering, s. 95-120. https://doi.org/10.1007/978-3-319-48628-4_5
Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. / Olderog, Ernst-Rüdinger; Ravn, Anders Peter; Wisniewski, Rafal.
Provably Correct Systems. Springer, 2017. s. 95-120 (NASA Monographs in Systems and Software Engineering).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Bidrag til bog/antologi › Forskning › peer review
TY - CHAP
T1 - Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers
AU - Olderog, Ernst-Rüdinger
AU - Ravn, Anders Peter
AU - Wisniewski, Rafal
PY - 2017
Y1 - 2017
U2 - 10.1007/978-3-319-48628-4_5
DO - 10.1007/978-3-319-48628-4_5
M3 - Book chapter
SN - 978-3-319-48627-7
T3 - NASA Monographs in Systems and Software Engineering
SP - 95
EP - 120
BT - Provably Correct Systems
PB - Springer
ER -
Olderog E-R, Ravn AP, Wisniewski R. Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. I Provably Correct Systems. Springer. 2017. s. 95-120. (NASA Monographs in Systems and Software Engineering). https://doi.org/10.1007/978-3-319-48628-4_5