Login / Signup
Messaouda Grira
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Specification Languages
Formal Specification
Model Checker
Fault Tolerant
Top Venues
Int. J. Comput. Commun. Control
</>
Publications
</>
Laïd Kahloul
,
Messaouda Grira
Formal Specification and Verification of Mobile Agent Systems.
Int. J. Comput. Commun. Control
9 (3) (2014)