Methods, Models and Tools for Fault Tolerance
The growing complexity of modern software systems makes it increasingly difficult to ensure the overall dependability of software-intensive systems. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods toge...
|Other Authors:||, , ,|
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
|Series:||Lecture Notes in Computer Science,