|
 
|
Sabine Boufenara
Publications
2013
- [BBB13] S. Boufenara, K. Barkaoui, F. Belala, H. Boucheneb. "Transactional Petri Nets : A Semantic Framework for UML2 Activities", International Journal of Critical Computer-Based Systems (IJCCBS), pp. 1-6, 2013
Revue Internationale avec comité de lecture
2010
- [BBB10] S. Boufenara, F. Belala, K. Barkaoui. "Mapping UML 2.0 Activities to Zero-Safe Nets", Journal of Software Engineering and Applications, vol. 3(5), pp. 426-435, 2010
