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.
Autómatas (Grafos) Temporizados
2
Ciencias Informáticas
2
Especificación y Análisis de Sistemas de Tiempo Real
Lógicas TCTL y CTL
2
ARTIFICIAL INTELLIGENCE
1
Intelligent agents
1
Model checking
1
Real time
1
Teoría de Tipos y Coq
1
Teoría de Tipos y Coq, Verificación-Demostración de Corrección
1
Verificación de Modelos
1
Verificación de Modelos (“Model Checking”)
1
Verificación-Demostración de Corrección (“Proof Checking”)
1
-
1por Luna, Carlos DanielMaterias: “...Teoría de Tipos y Coq, Verificación-Demostración de Corrección...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
2por Luna, Carlos DanielMaterias: “...Teoría de Tipos y Coq...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia