Modeling and Checking Robustness of Communicating Autonomous Vehicles
Advances in Intelligent Systems and Computing - Germany
doi 10.1007/978-3-319-62410-5_21
Full Text
Open PDFAbstract
Available in full text
Date
June 21, 2017
Authors
Publisher
Springer International Publishing