Listar Computación por título
Mostrando ítems 155-156 de 156
-
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) -
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)