Using UML Activity Diagrams and Event B for Distributed and Parallel Applications

Ahlem Ben Younes, Leila Jemni Ben Ayed. Using UML Activity Diagrams and Event B for Distributed and Parallel Applications. In 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China. pages 163-170, IEEE Computer Society, 2007. [doi]

Authors

Ahlem Ben Younes

This author has not been identified. Look up 'Ahlem Ben Younes' in Google

Leila Jemni Ben Ayed

This author has not been identified. Look up 'Leila Jemni Ben Ayed' in Google