Sign in
Ahcene Bouzoualegh
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Ahcene Bouzoualegh
,
Dominique Marcadet
,
Frédéric Boulanger
,
Christophe Jacquet
An Architecture Description Language for Verification in Component-Based Software.
COMPSAC
(2008)