Navegar

Colección

Datos Estadísticas

Lista de

Schapachnik, Fernando Pablo
13
2006
2
"Dealing with practical limitations of distributed timed model checking for timed automata" (2006) Braberman, V.; Olivero, A.; Schapachnik, F. Formal Methods in System Design. 29(2):197-214
"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