Publication | Open Access

Introduction to the ISO specification language LOTOS

Specification LanguageFormal SpecificationEngineeringFormal MethodsSoftware AnalysisSystems EngineeringSoftware EngineeringComputer ScienceFormal VerificationSystem SoftwareSoftware DesignSystem Specification