Publication | Closed Access

A formal approach to reactive systems software: A telecommunications application in Esterel

Formal SpecificationEngineeringFormal ModelingProgram AnalysisFormal ApproachSystems SoftwareSystem SpecificationFormal MethodsSoftware EngineeringSystems EngineeringFormal TechniqueTelecommunications ApplicationSoftware AnalysisSystem SoftwareSoftware DesignFormal VerificationReactive Language