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 […]
Información academica Jorge Mataix Oltra. Tesis donde Jorge Mataix Oltra ha sido autor, director o parte del tribunal.
Tesis doctoral de David Larrabeiti López La primera fase en la mayoria de los algoritmos de validacion y verificacion de […]
Tesis doctoral de Luis Muñoz Gutiérrez Tradicionalmente los sistemas de radiocomunicaciones se han utilizado con gran frecuencia para la transmision
Tesis doctoral de Javier Aracil Rico En este tesis doctoral se propone una tecnica de acceso multiple original que aplica
Tesis doctoral de Ruiz Piñar Francisco Javier La presente tesis se enmarca en el ambito de las redes satelite vsat.
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.
Tesis doctoral de Manuel Esteve Domingo El trabajo de tesis ha consistido en el desarrollo de un banco de pruebas