- 1
César Viho
1
Documents
Identifiants chercheurs
- viho
- IdRef : 075989603
- 0000-0002-4246-7157
Présentation
I am Professor at the [University of Rennes](http://www.univ-rennes.fr) teaching in Computer Sciences department in ([ISTIC](http://www.istic.univ-rennes1.fr)) and doing my research activity in the [Networks, Telecommunications and Services department](http://www.irisa.fr/en/departments/d2-networks-telecommunication-and-services) of the joint [IRISA](http://www.irisa.fr/)–[INRIA](https://www.inria.fr/centre/rennes) lab. in Rennes (France).
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model-Checking, Co-Simulation, and Test Generation[Research Report] RR-4041, INRIA. 2000
Rapport
inria-00072597v1
|