Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
LTS
CONCURRENCIA
3
CONCURRENT
3
CONTROLADORES
3
CONTROLLERS
3
DESIGN SYNTHESIS
3
DISEÑO SINTETIZADO
3
GENERALIZED REACTIVITY
3
PEQUEÑA MEDIDA DE PROGRESO
3
REACTIVIDAD GENERALIZADA
3
SMALL PROGRESS MEASURES
3
controller synthesis
3
imperfect-information games
3
ACTUALIZACION DINAMICA
2
Alloy
2
Automata theory
2
Automated control
2
Bisimulaciones
2
Controller synthesis
2
Controllers
2
Existence of a solutions
2
Imperfect information games
2
Implementaciones
2
Interaction model
2
Interface automata
2
MTS
2
SAT solver
2
SINTESIS DE CONTROLADORES
2
SISTEMAS ADAPTABLES
2
Semantics of Programming Languages
2
-
1por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Ciolek, Daniel, Braberman, Victor Adrian, D'Ippolito, Nicolás, Piterman, Nir, Uchitel, Sebastián
Publicado 2016Aportado por: SEDICI (UNLP)Objeto de conferencia -
3
-
4por Dania, Carolina Inés
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5
-
6
-
7
-
8
-
9
-
10