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]

Authors

Konstantinos Mokos

This author has not been identified. Look up 'Konstantinos Mokos' in Google

Panagiotis Katsaros

This author has not been identified. Look up 'Panagiotis Katsaros' in Google