A Meta-model Transformation from UML Activity Diagrams to Event-B Models.

Ahlem Ben Younes, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed

Browse the full COMPSAC paper archive.