Temporal Logic for System Safety Properties and Hazard Monitoring

Authors

Francesca Favaro
J. Saleh

Document Type

Presentation

Publication Date

January 2016

Publication Title

PSAM13 Conference (13th International Conference on Probabilistic Safety Assessment and Management)

Disciplines

Aviation Safety and Security | Engineering | Risk Analysis

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.

Recommended Citation

Francesca Favaro and J. Saleh. "Temporal Logic for System Safety Properties and Hazard Monitoring" PSAM13 Conference (13th International Conference on Probabilistic Safety Assessment and Management) (2016).