Repositorios 2

Autómatas (Grafos) Temporizados 2 Ciencias Informáticas 2 Especificación y Análisis de Sistemas de Tiempo Real 2 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