Laura Pullum, Xiaohui Cui, Emil Vassev, Michael G. Hinchey, Christopher Rouff, Richard W. Buskens. Verification of Adaptive Systems. In Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012. 2012. [doi]
@inproceedings{PullumCVHRB12,
title = {Verification of Adaptive Systems},
author = {Laura Pullum and Xiaohui Cui and Emil Vassev and Michael G. Hinchey and Christopher Rouff and Richard W. Buskens},
year = {2012},
doi = {10.2514/6.2012-2478},
url = {https://doi.org/10.2514/6.2012-2478},
researchr = {https://researchr.org/publication/PullumCVHRB12},
cites = {0},
citedby = {0},
booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012},
isbn = {978-1-60086-939-6},
}