Conference
System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.
Authors
Dondossola G; Botti O
Editors
Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
1783
Pagination
pp. 82-96
Publisher
Springer
Publication Date
2000
ISBN-10
3-540-67261-3
Conference proceedings
FASE