Application of a temporal logic in the synthesis of sequential failure modes and effects analyses
Citation
(2009). Application of a temporal logic in the synthesis of sequential failure modes and effects analyses. In Recent advances in computing and management information systems (189 - 206). ATINER
| Publication Date | Jan 1, 2009 |
|---|---|
| Pages | 189 - 206 |
| Book Title | Recent advances in computing and management information systems |
| ISBN | 978-960-6672-50-7 |
| Public URL | https://hull-repository.worktribe.com/output/405524 |
| Contract Date | Jan 1, 2009 |