Formal analysis of safety-critical system simulations

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]

Abstract

Abstract is missing.