![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - World Model for Testing Autonomous Systems Using Petri Nets
Andrews, Anneliese, Abdelgawad, Mahmoud, Gario, AhmedYear:
2016
Language:
english
DOI:
10.1109/hase.2016.11
File:
PDF, 376 KB
english, 2016