Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systemsAmmar Boucherit, Laura M. Castro, Abdallah Khababa, Osman HasanMultiagent and Grid SystemsVolume 16، (1)، Pages 47-662020Article Accès fermé 8
An agent based approach for modeling a groupwareMeftah Mohammed Charaf Eddine, Okba KazarMultiagent and Grid SystemsVolume 12، (3)، Pages 199-2152016Article Accès fermé 1
