Component Based Design of Multitolerant Systems

Arora, Anu Kulkarni, S. S

Component Based Design of Multitolerant Systems - 63-78 p.


Formal Methods
Compositional Analysis
Dependability