View of Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML

Return to Article Details Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML Download Download PDF