<  Back to the Polytechnique Montréal portal

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item Type | Document subtype | No Grouping
Jump to: Paper | None
Number of items: 4.

Paper

Boucheneb, H. & Berthelot, G. (2002, April). Contraction of the ITCPN state space. Paper presented at Theory and Practice of Timed Systems (Satellite Event of ETAPS 2002), Grenoble, France.

None

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, p. 155805-155817.

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

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), p. 35-42.

This list was generated on Tue Aug 9 01:54:51 2022 EDT.