Monter d'un niveau |
Boucheneb, H., & Barkaoui, K. (2014). On combining the ready sets with the covering steps methods. International Journal of Critical Computer-Based Systems, 5(1-2), 55-77. Lien externe
Boufenara, S., Barkaoui, K., Belala, F., & Boucheneb, H. (2014). Transactional Petri nets: a semantic framework for UML2 activities. International Journal of Critical Computer-Based Systems, 5(3/4), 241-267. Lien externe