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

Thuy Nguyen

Browse the full RE paper archive.