Search - Archive ouverte HAL Access content directly

Filter your results

2 Results
authIdHal_s : matthieu-moy
Image document

Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level

Matthieu Moy
Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩
Theses tel-00311033v1
Image document

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Matthieu Moy
Systèmes embarqués. Université de Grenoble, 2014
Habilitation à diriger des recherches tel-01054555v1