Mostrando
61 - 64
Resultados de
64
Para Buscar '
Braberman, V.
'
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.
Mostrando
61 - 64
Resultados de
64
Para Buscar '
Braberman, V.
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
61
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:
62
Model checker execution reports
por
Castano, R.
,
Braberman
,
V
.
,
Garbervetsky, D.
,
Uchitel, S.
,
Nguyen T.N.
,
Rosu G.
,
Di Penta M.
,
College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software Engineering
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
63
Hope for the best, prepare for the worst: Multi-tier control for adaptive systems
por
D'Ippolito, N.
,
Braberman
,
V
.
,
Kramer, J.
,
Magee, J.
,
Sykes, D.
,
Uchitel, S.
,
ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
CONF
Agregar a favoritos
Guardado en:
64
Assured and correct dynamic update of controllers
por
Nahabedian, L.
,
Braberman
,
V
.
,
D'Ippolito, N.
,
Honiden, S.
,
Kramer, J.
,
Tei, K.
,
Uchitel, S.
,
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:
[1]
Anterior
1
2
3
4
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Automata theory
Software engineering
Mathematical models
Semantics
Model checking
Real time systems
Algorithms
Specifications
Timed automata
Computer software
Behaviour models
Controller synthesis
Timed Automata
Abstracting
Adaptive control systems
Adaptive systems
Controllers
Distributed computer systems
Program processors
Specification languages
Computer architecture
Set theory
Distributed timed model checking
Modal Transition Systems
Reachability
ZEUS
Computer programming languages
Data storage equipment
Data structures
Design
Cargando...