Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelProvably Correct Systems
ForlagSpringer
Publikationsdato2017
Sider95-120
ISBN (Trykt)978-3-319-48627-7
DOI
StatusUdgivet - 2017
NavnNASA Monographs in Systems and Software Engineering
ISSN1860-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
Olderog, Ernst-Rüdinger ; Ravn, Anders Peter ; Wisniewski, Rafal. / Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. Provably Correct Systems. Springer, 2017. s. 95-120 (NASA Monographs in Systems and Software Engineering).
@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 proceedingBidrag til bog/antologiForskningpeer 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