Transformacion y verificacion con lotos
Tesis doctoral de José Juan Pazos Arias El trabajo de la tesis es una contribucion al diseño y desarrollo de […]
Tesis doctoral de Pere Botella López
Información academica Pere Botella López. Tesis donde Pere Botella López ha sido autor, director o parte del tribunal.
Diseño y desarrollo de una arquitectura distribuida multiagente para la resolucion de problemas complejos.
Tesis doctoral de Jesús Lores Vidal La tesis doctoral del profesor jesus lores, despues de la introduccion en la que
Prototipado concurrente de sistemas de tiempo real
Tesis doctoral de Juan Carlos Dueñas Lopez En la actualidad, la construccion de los sistemas de tiempo real es una
Aprenentatge i generacio de plans per a sistemes experts
Tesis doctoral de Beatriz López Ibáñez Datos académicos de la tesis doctoral «Aprenentatge i generacio de plans per a
Validation of multi-level rule-based exfert systems
Tesis doctoral de Pedro Meseguer Gonzalez Datos académicos de la tesis doctoral «Validation of multi-level rule-based exfert systems« Título
Contribucion a la generacion automatica de entornos basados en lenguaje. aplicacion a los lenguajes de especificacion.
Tesis doctoral de Miguel Moro Tomas Pedro De Datos académicos de la tesis doctoral «Contribucion a la generacion automatica