MPG.eBooks - Search Results - "proving"

Search alternatives:
"proving" » "providing", "improving", "province"

Cover Image

1

Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings

Published 2019

Springer International Publishing

Table of Contents: “... Systems -- Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety...”