Items where Author is "Kamali, Maryam"

Kamali, Maryam and Linker, Sven and Fisher, Michael (2019) Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time : Formal Techniques for Safety-Critical Systems. FTSCS 2018. In: Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers. Communications in Computer and Information Science . Springer, Cham, pp. 18-36. ISBN 9783030129873