Yoann Laurent, Reda Bendraou, Souheib Baarir, Marie-Pierre Gervais. Formalization of fUML: An Application to Process Verification. In Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff, editors, Advanced Information Systems Engineering - 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings. Volume 8484 of Lecture Notes in Computer Science, pages 347-363, Springer, 2014. [doi]
Abstract is missing.