B. Mostefa

Validating Timing And Scheduling Mar-te‟s Profils Using Event B: Case Study Of A Gpu Architecture

Belarbi Mostefa Belarbi Mostefa, Zouaneb Imane Zouaneb Imane, Chouarfia Abdellah Chouarfia Abdellah, 2012 .