 | Up a level |
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.
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.
