Search results for: Alexander Viehl
IEEE Intelligent Transportation Systems Magazine > 2017 > 9 > 3 > 59 - 74
2016 IEEE Intelligent Vehicles Symposium (IV) > 1097 - 1102
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Verification and Requirements Evaluation > 309-324