Login / Signup
Spécification et vérification d'un ordonnanceur en B via les automates temporisés.
Odile Nasr
M. Rached
Jean-Paul Bodeveix
Mamoun Filali
Published in:
Obj. Logiciel Base données Réseaux (2008)
Keyphrases
</>
allocation strategy