Mostrando
1 - 2
Resultados de
2
Para Buscar '
Braberman, V.A.
'
Saltar al contenido
BDU
3
Inicio
Su cuenta
Salir
Entrar
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Braberman, V.A.
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Braberman, V.A.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Verification of real-time designs: Combining scheduling theory with automatic formal verification
por
Braberman
,
V.A
.
,
Felder, M.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
SER
Agregar a favoritos
Guardado en:
2
Runtime controller synthesis for self-adaptation: Be discrete!
por
Uchitel, S.
,
Braberman
,
V.A
.
,
D'Ippolito, N.
,
Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society; IEEE Technical Council on Software Engineering (TCSE)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Software engineering
Adaptive Systems
Adaptive control systems
Adaptive systems
Analytical theory
Automata theory
Automatic approaches
Controller Synthesis
Controller synthesis
Controllers
Design
Distributed systems
Fixed-priority scheduling
Formal verifications
Model checking
Model checking tools
Operating environment
Runtimes
Scheduling
Scheduling analysis
Self adaptation
Timing requirements
User need
Cargando...