摘要: I Concepts and Foundations.- 1 Terminology Paradigms for Fault Tolerance.- 2 Tolerance as Self-Similarity.- 3 Parameterized Semantics Tolerant Real-Time Systems.- 4 Modeling Reliability.- II Applications.- 5 A Fault-Masking Transient-Recovery Model Digital Flight-Control 6 Specification Verification of Recovery in Asynchronous Communicating 7 CSP, Formal Software Engineering the Development Fault-Tolerant Systems.
telkomuniversity.ac.id
springer.com参考文章(0)