Ina Schieferdecker. Quality Assurance for Autonomous Systems - A Review of Model-Based Methods. In International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. pages 305-307, IEEE, 2007. [doi]
@inproceedings{Schieferdecker07,
title = {Quality Assurance for Autonomous Systems - A Review of Model-Based Methods},
author = {Ina Schieferdecker},
year = {2007},
doi = {10.1109/ISADS.2007.61},
url = {http://doi.ieeecomputersociety.org/10.1109/ISADS.2007.61},
researchr = {https://researchr.org/publication/Schieferdecker07},
cites = {0},
citedby = {0},
pages = {305-307},
booktitle = {International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA},
publisher = {IEEE},
isbn = {0-7695-2804-X},
}