Skip to main content

Application of a temporal logic in the synthesis of sequential failure modes and effects analyses

Publication Date Jan 1, 2009
Pages 189 - 206
Book Title Recent advances in computing and management information systems
ISBN 978-960-6672-50-7
APA6 Citation (2009). Application of a temporal logic in the synthesis of sequential failure modes and effects analyses. Recent advances in computing and management information systems, 189 - 206. ATINER
;