Login / Signup
Miloud Rached Irit
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Odile Nasr
,
Jean-Paul Bodeveix
,
Mamoun Filali
,
Miloud Rached Irit
Verification of a scheduler in B through a timed automata specification.
SAC
(2006)