Verificacion de sistemas en lotos.
Tesis doctoral de Fernandez Del Campo Angel Datos académicos de la tesis doctoral «Verificacion de sistemas en lotos.« Título […]
Tesis doctoral de Fernandez Del Campo Angel
Información academica Fernandez Del Campo Angel. Tesis donde Fernandez Del Campo Angel ha sido autor, director o parte del tribunal.
Contribucion a los metodos de acceso para redes vsat con topología en malla
Tesis doctoral de Ruiz Piñar Francisco Javier La presente tesis se enmarca en el ambito de las redes satelite vsat.
Tecnicas de descripcion formal aplicadas a la evaluacion de prestaciones de sistemas de comunicacion
Tesis doctoral de Carlos Miguel Nieto Este trabajo se enmarca en el ambito de los lenguajes formales basados en algebras