<  Back to the Polytechnique Montréal portal

Items where Author is "Barkaoui, K."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B
Number of items: 3.

B

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. External link

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. External link

Boucheneb, H., & Barkaoui, K. (2009, July). On combining the ready sets and the covering steps methods [Paper]. 3rd International Workshop of Verification, Evaluation of Computer and Communication Systems (VECos 2009). Unavailable

List generated on: Sun Jul 13 06:46:08 2025 EDT