%0 Conference Paper %1 conf/hase/AndrewsAG16 %A Andrews, Anneliese %A Abdelgawad, Mahmoud %A Gario, Ahmed %B HASE %D 2016 %E Babiceanu, Radu F. %E Waeselynck, Hélène %E Paul, Raymond A. %E Cukic, Bojan %E Xu, Jie %I IEEE Computer Society %K dblp %P 65-69 %T World Model for Testing Autonomous Systems Using Petri Nets. %U http://dblp.uni-trier.de/db/conf/hase/hase2016.html#AndrewsAG16 %@ 978-1-4673-9913-5

@inproceedings{conf/hase/AndrewsAG16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Andrews, Anneliese and Abdelgawad, Mahmoud and Gario, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/20fe0b27168ee40be811fc48ab3c2db27/dblp}, booktitle = {HASE}, crossref = {conf/hase/2016}, editor = {Babiceanu, Radu F. and Waeselynck, Hélène and Paul, Raymond A. and Cukic, Bojan and Xu, Jie}, ee = {https://doi.ieeecomputersociety.org/10.1109/HASE.2016.11}, interhash = {2463d0587bba9b637c4c7e3b7918496d}, intrahash = {0fe0b27168ee40be811fc48ab3c2db27}, isbn = {978-1-4673-9913-5}, keywords = {dblp}, pages = {65-69}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:23:54.000+0200}, title = {World Model for Testing Autonomous Systems Using Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/hase/hase2016.html#AndrewsAG16}, year = 2016 }