Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/
Metadata
Show full item recordAuthor
Hornos Barranco, Miguel JuanEditorial
Granada: Universidad de Granada
Director
Capel Tuñón, Manuel IsidoroDepartamento
Universidad de Granada. Departamento de Lenguajes y Sistemas InformáticosMateria
Concurrencia (Ciencias de la Computación) Sistemas de ordenadores a tiempo real
Materia UDC
681.3 1203.11 3304.17 3304.11 1102.04 1102.09