xmlui.ArtifactBrowser.ConfigurableBrowse.title.metadata.director
Now showing items 21-28 of 28
-
Modelado y control de un reactor experimental para la autohidrólisis de paja de trigo
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2014) -
Modelado y verificación por comprobación de modelos de una clase de sistemas de procesamiento industrial
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
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) -
Sintesis de controladores de procedimientos utilizando técnicas de cálculo simbólico
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
Síntesis de arquitecturas de coordinación en sistemas automatizados de manufactura
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2008) -
Síntesis de controladores basados en autómatas para sistemas dinámicos de eventos discretos a gran escala
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2004) -
Síntesis de controladores de procedimientos para una clase de especificaciones de seguridad utilizando técnicas de cálculo incremental explícito
(Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2002) -
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)