Listar por tema "Modelos para lógica CTL"

Mostrando ítems 1-1 de 1

Implementación de un verificador de modelos CTL simbólico en Haskell

Diego Fernández Chaparro Plata, Javier (2019-10-22)

En este se construye y prueba un verificador de modelos de la lógica temporal CTL utilizando el lenguaje de programación Haskell.

Mostrando ítems 1-1 de 1

Buscar en RepoFI

Listar

Todo RepoFI

Mi cuenta

Hecho en México. Universidad Nacional Autónoma de México UNAM. Todos los derechos reservados 2021. https://www.unam.mx
Este es un portal integrado a la página web institucional de la Facultad de Ingeniería de la UNAM. Contiene textos, trabajos, investigaciones, así como vínculos con distintos sitios web, sean páginas electrónicas personales de investigación o de docentes, o bien de índole escolar, colegial o profesional. Todos los contenidos,tanto los textos como de las páginas electrónicas, son responsabilidad exclusiva de sus titulares o autores. https://www.ingenieria.unam.mx
Sitio administrado por la Coordinación del Sistema de Bibliotecas F.I. https://www.ingenieria.unam.mx/bibliotecas/
Este repositorio se rige por los preceptos de protección de datos contenidos en: Aviso de privacidad integral
y el Sistema de Calidad con las siguientes políticas: Política de calidad
Diseñador y administrador: Mtro Sergio Israel Franco García.
Contacto y asesoría

Listar por tema "Modelos para lógica CTL"

Listar por tema "Modelos para lógica CTL"

Buscar en RepoFI

Listar

Todo RepoFI

Mi cuenta