Model checking of the concurrent constraint paradigm
Tesis doctoral de Alicia Villanueva García En muchas aplicaciones reales la verificación formal de propiedades temporales es imprescindible. En la […]
Accede a todas las tesis doctorales sobre Politécnica de Valencia mas relevantes.
Tesis doctoral de Alicia Villanueva García En muchas aplicaciones reales la verificación formal de propiedades temporales es imprescindible. En la […]
Tesis doctoral de Silvia Andrés González-moralejo El propósito de esta investigación es analizar los factores que originan la diversidad contractual
Tesis doctoral de María Ferriol Molina Datos académicos de la tesis doctoral «Análisis de la variabilidad morfológica y molecular
Tesis doctoral de Vicente Barón Linares La presente tesis doctoral tiene como propósito el indagar sobre los parámetros que hacen
Tesis doctoral de Torres Bustos Héctor Andrés El presente trabajo tiene como objetivo principal analizar la transformación del concepto de
Tesis doctoral de García Carrasco Vicente Juan El diseño y la operación eficaces de un sistema de abastecimiento de agua
Tesis doctoral de Juan Ignacio Villaescusa Blanca En esta tesis doctoral se ha realizado una parametrización empleando modelos matemáticos para
Tesis doctoral de José Miguel Arnal Arnal En esta tesis doctoral se ha estudiado el tratamiento y se ha realizado
Tesis doctoral de José Serafin Clemente Ricolfe El estudio de los factores explicativos del comportamiento del consumidor representa, probablemente, uno
Tesis doctoral de Juan M. Moreno Segui La tesis investiga en el puente trazado entre los conceptos y la obra