A survey on the formalisation of system requirements and their validation

Konstantinos Mokos, Panagiotis Katsaros. A survey on the formalisation of system requirements and their validation. Array, 7:100030, 2020. [doi]

Abstract

Abstract is missing.