Mostrando
1 - 3
Resultados de
3
Para Buscar '
Nahabedian, L.
'
Saltar al contenido
BDU
3
Inicio
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Etiqueta
Buscar
Avanzado
Autor
Nahabedian, L.
Mostrando
1 - 3
Resultados de
3
Para Buscar '
Nahabedian, L.
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Autor
Título
1
Dynamic Update of Discrete Event Controllers
por
Nahabedian
,
L
.
,
Braberman, V.
,
DIppolito, N.
,
Honiden, S.
,
Kramer, J.
,
Tei, K.
,
Uchitel, S.
Aportado por:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
Enlace del recurso
INPR
2
Assured and Correct Dynamic Update of Controllers
por
Nahabedian
,
L
.
,
Braberman, Victor Adrian
,
D'Ippolitto, N.
,
Honiden, Shinichi
,
Kramer, J.
,
Tei, K.
,
Uchitel, Sebastián
Publicado 2016
Aportado por:
SEDICI (UNLP)
Enlace del recurso
Enlace del recurso
Objeto de conferencia
Resumen
3
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
Herramientas de búsqueda:
RSS
—
Enviar por Correo electrónico esta Búsqueda
Materias Relacionadas
Adaptive control systems
Adaptive systems
Continuous operation
Controller synthesis
Controllers
Correctness criterion
Dynamic update
System requirements
Accident prevention
Adaptive Systems
Application programs
Business
Ciencias Informáticas
Control system synthesis
Control systems
Controller Synthesis
Discrete event controllers
Dynamic Update
Execution environments
Industry
Mobile telecommunication systems
Paint
Paints
Reactive system
Runtime
Runtimes
Safety
Software engineering
Software intensive systems
Sound engineerings
Cargando...