Glenn Callow, Graham Watson, Roy Kalawsky. System modelling for run-time verification and validation of autonomous systems. In 5th International Conference on System of Systems Engineering, SoSE 2010, Loughborough, UK, 22-24 June, 2010. pages 1-7, IEEE, 2010. [doi]
@inproceedings{CallowWK10, title = {System modelling for run-time verification and validation of autonomous systems}, author = {Glenn Callow and Graham Watson and Roy Kalawsky}, year = {2010}, doi = {10.1109/SYSOSE.2010.5544117}, url = {http://dx.doi.org/10.1109/SYSOSE.2010.5544117}, researchr = {https://researchr.org/publication/CallowWK10}, cites = {0}, citedby = {0}, pages = {1-7}, booktitle = {5th International Conference on System of Systems Engineering, SoSE 2010, Loughborough, UK, 22-24 June, 2010}, publisher = {IEEE}, isbn = {978-1-4244-8197-2}, }