Login / Signup
Aida Boudhaouia
ORCID
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Specification Languages
Epistemic Logic
Formal Specification
Object Oriented Design
Top Venues
AICCSA
</>
Publications
</>
Aida Boudhaouia
,
Belhassen Mazigh
,
Ezzine Missaoui
A Formal Specification and Verification of Normative Multi-agent Systems by DisCSP.
AICCSA
(2017)