External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Ayesha Yasmeen

This author has not been identified. Look up 'Ayesha Yasmeen' in Google

Karen M. Feigh

This author has not been identified. Look up 'Karen M. Feigh' in Google

Gabriel Gelman

This author has not been identified. Look up 'Gabriel Gelman' in Google

Elsa L. Gunter

This author has not been identified. Look up 'Elsa L. Gunter' in Google
runs on