A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems
Farzana Zahid, Awais Tanveer, Matthew M. Y. Kuo, Roopak Sinha
Topics & Concepts
Cyber-physical systemFormal methodsComputer scienceSystems engineeringRequirements engineeringEngineeringSoftware engineeringProgramming languageSoftwareOperating systemFlexible and Reconfigurable Manufacturing SystemsDigital Transformation in IndustrySystems Engineering Methodologies and Applications