Joakim Gustavsson. Verification Methodology for Fully Autonomous Heavy Vehicles. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016. pages 381-382, IEEE Computer Society, 2016. [doi]
Abstract is missing.