- 1
- 1
- 1
César Viho
3
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
- 3
- 1
- 1
Formalizing Interoperability for Test Case Generation PurposeInternational Journal on Software Tools for Technology Transfer, 2009, 11, pp.261―267
Article dans une revue
hal-00789575v1
|
|
|
Interoperability test generation: formal definitions and algorithmRevue Africaine de Recherche en Informatique et Mathématiques Appliquées, 2008, Volume 8, Special Issue CARI'06, 2008, pp.49-63. ⟨10.46298/arima.1884⟩
Article dans une revue
hal-01272681v1
|
|
Quiescence Management improves Interoperability Testing[Research Report] RR-5530, INRIA. 2005, pp.18
Rapport
inria-00070477v1
|