Compositional dependability analysis of dynamic systems with uncertainty
Over the past two decades, research has focused on simplifying dependability analysis by looking at how we can synthesise dependability information from system models automatically. This has led to the field of model-based safety assessment (MBSA), which has attracted a significant amount of interes...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Hull
2016
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.691397 |