Descripcion y especificacion formal (lotos) del control de flujo del plano de usuario del prm de la b-isdn. propuesta de mejora.
Tesis doctoral de Sebastian Suarez Gil Uno de los grandes retos en el área de la ingeniería de telecomunicación es […]
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.
Evaluacion de prestaciones mediante tecnicas de descripcion. formula de la emulacion de red local sobre atm.
Tesis doctoral de Vidal Catala José R. El modo de transferencia asincrono (atm) es el comunmente aceptado como soporte de
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
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.