Navegar

Colección

Datos Estadísticas

Lista de

Distributed timed model checking
5
"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
"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
"Issues in distributed timed model checking" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. International Journal on Software Tools for Technology Transfer. 7(1):4-18
"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18
"On-the-fly workload prediction and redistribution in the distributed timed model checker zeus" (2005) Braberman, V.; Olivero, A.; Schapachnik, F. Proceedings of the 3rd International Workshop on Parallel Distributed Methods in Verification (PDMC 2004). 128(3):3-18