Badri, Mourad, Department of Mathematics and Computer Science, Glog Laboratory, University of Quebec, Trois-Rivières, Canada, Canada

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