Descripción e implementación de tppal: un algebra q de procesos temporizados y probabilísticos
Tesis doctoral de Juan Jose Pardo Mateo Tradicionalmente, los diseñadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno […]
Información academica valentín Valero ruiz. Tesis donde valentín Valero ruiz ha sido autor, director o parte del tribunal.
Tesis doctoral de Juan Jose Pardo Mateo Tradicionalmente, los diseñadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno […]
Tesis doctoral de Fernando Garcia Valles El marco general del trabajo es el análisis de sistemas de eventos discretos modelados
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.