Buscar
Mostrando ítems 1-8 de 8
Comprobación de modelos explícita basada en autómatas de Búchi y lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Verificación de una clase de especificaciones de seguridad en controladores de procedimientos
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Robustez de un Sistema de Marcas de Agua Digitales bajo la condición de un ataque de filtrado linear y ruido aditivo
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Modelado y análisis de protocolos de interacción entre agentes por medio de redes de petri
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Verificación formal de procesos VHDL utilizando lógica temporal lineal
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Modelado multinivel de sistemas de procesos por lotes
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Tecnología para un sistema de comercio electrónico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)
Arquitectura de software para un sistema de comercio electrónico B2C
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara, 2003)