Mokhati, Farid, Department of Mathematics and Computer Sciences, RELA(CS)2 Laboratory, University of Larbi Ben M’hidi, Oum El Bouaghi, Algeria, Algeria

• Vol 41, No 2 (2017) - Regular papers
  Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic
  Abstract  PDF