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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.