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 […]
Tesis doctoral de De Frutos Escrig David
Información academica De Frutos Escrig David. Tesis donde De Frutos Escrig David ha sido autor, director o parte del tribunal.
Modulos de conversion: realizacion del esquema csp en modula-2 con tolerancia a fallos.
Tesis doctoral de Rafael Morales Fernandez Datos académicos de la tesis doctoral «Modulos de conversion: realizacion del esquema csp
Redes de petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
Tesis doctoral de Fernando Rosa Velardo Las redes de petri son un formalismo presentado por primera vez en la tesis
Semanticas para álgebras de procesos estocásticos no markovianos
Tesis doctoral de Natalia López Barquilla En esta tesis se ha realizado un estudio de semánticas para álgebras de procesos
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Traduccion de tpalp en una clase probabilistica y temporizada de redes de petri.
Tesis doctoral de Antonio Bueno Aroca Tpalp es un lenguaje algebraico para la descripción de sistemas concurrentes con capacidad para
Pnal. un modelo algebraico para procesos probabilisticos y no deterministas
Tesis doctoral de Diego Carlos Cazorla Lopez En esta tesis presentamos un modelo algebraico para procesos probabilisticos y no deterministas
Contributions to the structural and symbolic analysis of place/transition nets, with applications to flexible manufacturing systems and asynchronous circuits.
Tesis doctoral de Fernando Garcia Valles El marco general del trabajo es el análisis de sistemas de eventos discretos modelados
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
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