Aportacion al estudio de la descripcion, validacion y verificacion de protocolos de comunicacion.
Tesis doctoral de Miguel Garcia Hoffmann En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de […]
Accede a todas las tesis doctorales sobre Ciencia de los ordenadores mas relevantes.
Tesis doctoral de Miguel Garcia Hoffmann En esta tesis se desarrolla un sistema formal para la descripcion y verificacion de […]
Tesis doctoral de Juan Brossa Mota Se presenta una nueva forma de dividir un proceso en subprocesos y una forma
Tesis doctoral de Salvador Miquel Peris En el trabajo objeto de nuestra investigacion hemos pretendido poner de relieve el entronque
Tesis doctoral de Angel Alique Palomar Se estudian los sistemas de control numerico considerando las repercusiones que tienen sobre ellos
Tesis doctoral de Busta Rodriguez José M. Presentadas las redes de ordenadores y las bases de datos en sub-capas independientes
Tesis doctoral de Jesús Esteban García Elaboracion de un modelo para analizar la evolucion de la cabaña de vacuno y
Tesis doctoral de José Alberto Jaén Gallego Se desarrolla la idea de que la intervencion del ordenador en el sistema
Tesis doctoral de Delgado Garcia Ana Esperanza El objeto es la realizacion de un modelo conceptual de dinamica cerebral y
Tesis doctoral de Francisco Belaza Santurde El presente trabajo desarrolla de forma sistematica y amplia dos de los aspectos mas
Tesis doctoral de Jordi Aguilo Llobet Estudio detallado y formalizacion matematica de aquellos tipos de automatas que pueden ser sintetizados