Login / Signup
Mohamed Amin Laouadi
ORCID
Publication Activity (10 Years)
Years Active: 2010-2017
Publications (10 Years): 1
Top Topics
Formal Language
Mathematical Theory
Abductive Reasoning
Asynchronous Circuits
Top Venues
Multiagent Grid Syst.
</>
Publications
</>
Mohamed Amin Laouadi
,
Farid Mokhati
,
Hassina Seridi-Bouchelaghem
A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach.
Multiagent Grid Syst.
13 (4) (2017)
Mohamed Amin Laouadi
,
Farid Mokhati
,
Hassina Seridi-Bouchelaghem
A Novel Formal Specification Approach for Real Time Multi-Agent System Functional Requirements.
MATES
(2010)