Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maryam Kamali, Sven Linker, Michael Fisher 0001. Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time. In Cyrille Artho, Peter Csaba Ölveczky, editors, Formal Techniques for Safety-Critical Systems - 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Volume 1008 of Communications in Computer and Information Science, pages 18-36, Springer, 2018. [doi]

This author has not been identified. Look up 'Maryam Kamali' in GoogleThis author has not been identified. Look up 'Sven Linker' in GoogleThis author has not been identified. Look up 'Michael Fisher 0001' in Google

runs on WebDSL