Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ernst-Rüdiger Olderog, Anders P. Ravn, Rafael Wisniewski. Linking Discrete and Continuous Models, Applied to Traffic Manoeuvrers. In Michael G. Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog, editors, Provably Correct Systems. NASA Monographs in Systems and Software Engineering, pages 95-120, Springer, 2017. [doi]

Abstract is missing.

runs on WebDSL