Publication | Closed Access

A virtual engineering based approach to verify structural complexity of component-based automation systems in early design phase

EngineeringComponent TechnologyVirtual EngineeringComponent-based Software EngineeringSoftware TestingAutomationDesignFormal MethodsSystem SpecificationSystems EngineeringSoftware EngineeringComponent SystemIndustrial InformaticsFormal VerificationSoftware DesignEarly Design PhaseStructural Complexity