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 |