Formal modelling and analysis of dynamic reconfiguration of dependable systems
The contribution of this thesis is a novel way of formally modelling and analyzing dynamic process reconfiguration in dependable systems. Modern dependable systems are required to be flexible, reliable, available and highly predictable. One way of achieving flexibility, reliability and availability...
| Main Author: | |
|---|---|
| Published: |
University of Newcastle Upon Tyne
2013
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.579638 |