A Formal Approach for the Iterative Design of Behavioural Models.

Chen-Wei Wang

Browse the full APSEC paper archive.