Extending HiP-HOPS with Capabilities of Planning Preventative Maintenance
(2010)
Book Chapter
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
Automatic allocation of safety requirements to components of a software product line
(2015)
Journal Article
Automating allocation of development assurance levels: An extension to HiP-HOPS
(2015)
Journal Article