Entendiendo las semánticas de procesos
Tesis doctoral de Carlos Gregorio Rodriguez En las investigaciones seguidas para la consecución de la tesis, fundamentalmente se ha buscado […]
Tesis doctoral de Manuel Nuñez garcia
Información academica Manuel Nuñez garcia. Tesis donde Manuel Nuñez garcia ha sido autor, director o parte del tribunal.
Marcos temporales y probabilísticos para testing formal
Tesis doctoral de Mercedes Garcia Merayo Null los métodos formales son técnicas con base matemática que se utilizan tanto para
Description and verification of multimedia systems and web services with time constraints
Tesis doctoral de María Emilia Cambronero Piqueras Esta tesis aborda el análisis de diversos sistemas de tiempo real utilizando para
Limitacion de recursos en paralelismo real
Tesis doctoral de Ruiz Delgado María Carmen La tesis doctoral objeto de este informe se enmarca dentro de la utilización
Applying and developing formal techniques in the design of ecommerce oriented web services with strong time constraints
Tesis doctoral de Gregorio Diaz Descalzo A partir del año 2000 todas las tecnologías relacionadas con internet, la red de
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
Técnicas de aproximación de throughput en redes de petri estocásticas
Tesis doctoral de Pérez Jiménez Carlos José Los constantes avances tecnológicos conllevan la construcción y utilización de sistemas reales cada
Testing activo y pasivo de sistemas con información temporal y probabilística
Tesis doctoral de Cesar Andres Sanchez Datos académicos de la tesis doctoral «Testing activo y pasivo de sistemas con
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
Traducción 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