- 2
César Viho
2
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
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
|
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology[Research Report] RR-2923, INRIA. 1996
Rapport
inria-00073775v1
|
|
Using on-the-fly Verification Techniques for the Generation of Test Suites[Research Report] RR-2987, INRIA. 1996
Rapport
inria-00073711v1
|