Navegar

Colección

Datos Estadísticas

Lista de

de Caso, Guido
13
2006
1
"A toolsuite for the verification of real-time systems in Eclipse" (2006) Cavatorta, L.;De Caso, G.;Ferrari, A. (...)Olivero, A. 2006 OOPSLA Workshop on Eclipse Technology eXchange, ETX 2006:35-39