<  Back to the Polytechnique Montréal portal

Items where Author is "Boucheneb, Hanifa"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: B | D | H | R
Number of items: 4.


Boucheneb, H., & Berthelot, G. (2002, April). Contraction of the ITCPN state space [Paper]. Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France. Published in Electronic Notes in Theoretical Computer Science, 65(6). Available


Dou, H., Barkaoui, K., Boucheneb, H., Jiang, X., & Wang, S. (2019). Maximal good step graph methods for reducing the generation of the state space. IEEE Access, 7, 155805-155817. Available


Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 1-13. Available


Rhazi, A. E., Pierre, S., & Boucheneb, H. (2007). A secure protocol based on a sedentary agent for mobile agent environments. Journal of Computer Science, 3(1), 35-42. Available

List generated on: Tue Feb 7 02:11:34 2023 EST