, Computer Science Department, Biskra University, Algeria
-
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL Vol. 10 No. 2 (2015): International Journal of Computers Communications & Control (April) - Articles
Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism
Abstract PDF -
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL Vol. 9 No. 3 (2014): International Journal of Computers Communications & Control (June) - Articles
Formal Specification and Verification of Mobile Agent Systems
Abstract PDF
