Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario. Active World Model for Testing Autonomous Systems Using CEFSM. In Michalis Famelis, Daniel Ratiu, Martina Seidl, Gehan M. K. Selim, editors, Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015. Volume 1514 of CEUR Workshop Proceedings, pages 1-10, CEUR-WS.org, 2015. [doi]
@inproceedings{AndrewsAG15-0,
title = {Active World Model for Testing Autonomous Systems Using CEFSM},
author = {Anneliese Andrews and Mahmoud Abdelgawad and Ahmed Gario},
year = {2015},
url = {http://ceur-ws.org/Vol-1514/paper1.pdf},
researchr = {https://researchr.org/publication/AndrewsAG15-0},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MoDeVVa@MoDELS 2015, Ottawa, Canada, September 29, 2015},
editor = {Michalis Famelis and Daniel Ratiu and Martina Seidl and Gehan M. K. Selim},
volume = {1514},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}