A reasoning framework for the architectural design of real-time fault-tolerant systems
2015 ◽
Vol 61
(2)
◽
pp. 127-139
◽
Keyword(s):