2013

Conférence Internationale avec comité de lecture

• [RSB13] G. Rawand, Z. Sbaï, K. Barkaoui. "Modeling and formal verification framework of Web services composition", International Conference on Control, Engineering & Information Technology (CEIT'13), Proceedings Engineering & Technology, June 2013, Vol. 2(2013), pp.140-145,