Mostrando
1 - 1
Resultados de
1
Para Buscar '
Garbervestky, D.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Garbervestky, D.
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Garbervestky, D.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Speeding up model checking of timed-models by combining scenario specialization and live component analysis
por
Braberman, V.
,
Garbervestky
,
D
.
,
Kicillof, N.
,
Monteverde, D.
,
Olivero, A.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Abstraction techniques
Component analysis
Distributed real time system
Event pattern
Location
Model checking
Object oriented programming
Occurrence pattern
Reachability
Real time systems
State explosion
State machine
Time sharing systems
Cargando...