Mostrando
1 - 2
Resultados de
2
Para Buscar '
Monteverde, 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
Monteverde, D.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Monteverde, D.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
VTS-based specification and verification of behavioral properties of AADL models
por
Monteverde
,
D
.
,
Olivero, A.
,
Yovine, S.
,
Braberman, V.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
2
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
Model checking
Abstraction techniques
Behavioral properties
Component analysis
Distributed real time system
Effective translation
Embedded systems
Event pattern
Location
Model checking tools
Model driven design
Models
Object oriented programming
Occurrence pattern
Petri nets
Property specification language
Reachability
Real time systems
Real-time embedded systems
Schedulability analysis
Specification and verification
Specification languages
State explosion
State machine
Time sharing systems
Tools
Cargando...