论文信息 - Validating Timing And Scheduling Mar-te‟s Profils Using Event B: Case Study Of A Gpu Architecture - 字舞流文

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 | Imane Zouaneb | B. Mostefa