Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter. Formal analysis of safety-critical system simulations. In Washington Yotto Ochieng, Francisco Javier Saez, editors, International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '12, London, United Kingdom, May 29-31, 2012. pages 71-81, IRIT Press Toulouse, France / ACM DL, 2012. [doi]
@inproceedings{YasmeenFGG12,
title = {Formal analysis of safety-critical system simulations},
author = {Ayesha Yasmeen and Karen M. Feigh and Gabriel Gelman and Elsa L. Gunter},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2325686},
researchr = {https://researchr.org/publication/YasmeenFGG12},
cites = {0},
citedby = {0},
pages = {71-81},
booktitle = {International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '12, London, United Kingdom, May 29-31, 2012},
editor = {Washington Yotto Ochieng and Francisco Javier Saez},
publisher = {IRIT Press Toulouse, France / ACM DL},
isbn = {978-2-917490-20-4},
}