Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems

Thuy Nguyen. Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems. In 27th IEEE International Requirements Engineering Conference Workshops, RE 2019 Workshops, Jeju Island, Korea (South), September 23-27, 2019. pages 123-132, IEEE, 2019. [doi]

Abstract

Abstract is missing.