Publication | Closed Access

Property Patterns for the Formal Verification of Automated Production Systemsstar;

EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal VerificationSystems EngineeringFormal TechniqueFormal SpecificationComputer ScienceProperty PatternsSoftware DesignSoftware VerificationSpecification LanguageAutomated ReasoningSoftware TestingAutomationFormal MethodsIndustrial InformaticsSystem Specification