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]
@inproceedings{YounesA07,
title = {Using UML Activity Diagrams and Event B for Distributed and Parallel Applications},
author = {Ahlem Ben Younes and Leila Jemni Ben Ayed},
year = {2007},
doi = {10.1109/COMPSAC.2007.233},
url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.233},
tags = {UML},
researchr = {https://researchr.org/publication/YounesA07},
cites = {0},
citedby = {0},
pages = {163-170},
booktitle = {31st Annual International Computer Software and Applications Conference (COMPSAC 2007), 24-27 July 2007, Beijing, China},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-2870-0},
}