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]
No references recorded for this publication.
No citations of this publication recorded.