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 proceeding › Bidrag til bog/antologi › Forskning › peer review

Navn	NASA Monographs in Systems and Software Engineering
ISSN	1860-0131

Adgang til dokumentet

@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",

}

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 -