Contribucion al tratamiento de datos en lotos.
Tesis doctoral de Fernandez Iglesias Manuel J. En esta tesis doctoral se presenta una nueva tecnica para el tratamiento practico […]
Tesis doctoral de Juan Quemada Vives
Información academica Juan Quemada Vives. Tesis donde Juan Quemada Vives ha sido autor, director o parte del tribunal.
Control neuronal multiservicio de admision de conexion para trafico atm.
Tesis doctoral de Antonio Diaz Estrella La tesis centra su atencion en el control de admision de conexion y funciones
Contribucion al analisis del espacio de estados de especificaciones lotos.
Tesis doctoral de David Larrabeiti López La primera fase en la mayoria de los algoritmos de validacion y verificacion de
Contribucion a la formalizacion de la fase de ejecucion de pruebas.
Tesis doctoral de Huecas Fernandez Toribio Gabriel En el campo de la ingenieria de protocolos es fundamental el papel que
Diseño y verificacion de sistemas en lotos
Tesis doctoral de Martin Llamas Nistal Lotos (lenguage of temporal ordering specificaction) es una tecnica de descripcion formal desarrollada para
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
Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.
Contribucion al estudio de protocolos de comunicaciones en entornos de automatizacion industrial.
Tesis doctoral de Garcia Garcia Victor Guillermo Es una aportacion al estudio de los protocolos m.A.P./R.T. Con servicio s.D.A. En
Contribucion al analisis y transformacion de especificaciones lotos.
Tesis doctoral de Santiago Pavon Gomez La tesis se centra en el diseño de sistemas distribuidos, especialmente en le desarrollo