Formalization of fUML: An Application to Process Verification.

Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais

Browse the full CaiSE paper archive.