Michele Lora, Pierluigi Nuzzo. A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems. In 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022, Milano, Italy, May 4-6, 2022. pages 310-311, IEEE, 2022. [doi]
Abstract is missing.