Variability management in safety-critical systems design and dependability analysis
(2019)
Journal Article
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. Recent advances in computing and management information systems (189 - 206). ATINER
Acceptance Date | Jan 1, 2009 |
---|---|
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 |
You might also like
Variability management in safety-critical systems design & dependability analysis
(2019)
Journal Article
A model-based extension to HiP-HOPS for dynamic fault propagation studies
(2017)
Journal Article