Presentation
Temporal Logic for System Safety Properties and Hazard Monitoring
PSAM13 Conference (13th International Conference on Probabilistic Safety Assessment and Management)
(2016)
Disciplines
Publication Date
2016
Location
Seoul, South Korea
Comments
This is an Author's Accepted Manuscript of an article whose final and definitive form, the Version of Record, has been published in 13th International Conference on Probabilistic Safety Assessment and Management, 2016.
Citation Information
Francesca M. Favaro and J. H. Saleh. "Temporal Logic for System Safety Properties and Hazard Monitoring" PSAM13 Conference (13th International Conference on Probabilistic Safety Assessment and Management) (2016) Available at: http://works.bepress.com/francesca-favaro/11/