Filter your results
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 2
- 2
|
|
sorted by
|
|
Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction LevelComputer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩
Theses
tel-00311033v1
|
||
|
Modélisation à haut niveau d'abstraction pour les systèmes embarquésSystèmes embarqués. Université de Grenoble, 2014
Habilitation à diriger des recherches
tel-01054555v1
|