Buscar
Mostrando ítems 1-5 de 5
Diagnóstico distribuido de faltas en sistemas de eventos discretos utilizando modelos reducidos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Micro-simulación de tráfico urbano basada en sistemas de agentes móviles
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Estudio y aplicación de nuevas técnicas para verificación modular de sistemas de eventos discretos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)
Lenguaje para animación de criaturas virtuales
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)