Modelizacion de un sistema operativo multiproposito: especificacion formal en estelle.
Tesis doctoral de Oliverio Gonzalez Alonso Se pretende aplicar una tecnica de descripcion formal (fdt) a la modelizacion de un […]
Tesis doctoral de José Antonio Corrales Gonzalez
Información academica José Antonio Corrales Gonzalez. Tesis donde José Antonio Corrales Gonzalez ha sido autor, director o parte del tribunal.
Deteccion sintactica de contornos. diseño de un sistema de reglas de reescritura.
Tesis doctoral de Christophe Nerriec En la presente tesis, se diseña un nuevo sistema de deteccion sintactica de contornos cuya
Desarrollo del soporte de comunicaciones para el entorno «on-line» del experimento delphi del acelerador lep del cern.
Tesis doctoral de Camacho Rozas Angel Jose Se ha realizado un estudio detallado del entorno «on-line» del experimento delphi del