Publication | Closed Access

An approach to the analysis of design protocols

Formal SpecificationEngineeringDesign ProtocolsDesignProtocol AnalysisFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringFormal VerificationSystem SoftwareSoftware DesignSystem Specification