Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications: Results from a Controlled Experiment

Marian Daun, Jennifer Brings, Thorsten Weyer. Do Instance-level Review Diagrams Support Validation Processes of Cyber-Physical System Specifications: Results from a Controlled Experiment. In ICSSP '20: International Conference on Software and System Processes, Seoul, Republic of Korea, 26-28 June, 2020. pages 11-20, ACM, 2020. [doi]

Abstract

Abstract is missing.