Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech. Behavioral Verification of UML2.0/PoSM Components. In Hamido Fujita, George Angelos Papadopoulos, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifteenth SoMeT_16, Larnaca, Cyprus, 12-14 September 2016. Volume 286 of Frontiers in Artificial Intelligence and Applications, pages 246-257, IOS Press, 2016. [doi]
@inproceedings{RouisBK16,
title = {Behavioral Verification of UML2.0/PoSM Components},
author = {Taoufik Sakka Rouis and Mohamed Tahar Bhiri and Mourad Kmimech},
year = {2016},
doi = {10.3233/978-1-61499-674-3-246},
url = {http://dx.doi.org/10.3233/978-1-61499-674-3-246},
researchr = {https://researchr.org/publication/RouisBK16},
cites = {0},
citedby = {0},
pages = {246-257},
booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifteenth SoMeT_16, Larnaca, Cyprus, 12-14 September 2016},
editor = {Hamido Fujita and George Angelos Papadopoulos},
volume = {286},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-674-3},
}