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 […]
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.
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
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Tecnicas formales para el desarrollo jerarquico de sistemas concurrentes
Tesis doctoral de Alonso Gonzalez Luis M. Se presenta un metodo para el desarrollo de sistemas concurrentes, aplicable a sistemas