Login / Signup
M. Rached
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Odile Nasr
,
M. Rached
,
Jean-Paul Bodeveix
,
Mamoun Filali
Spécification et vérification d'un ordonnanceur en B via les automates temporisés.
Obj. Logiciel Base données Réseaux
14 (4) (2008)