Rewriting-based verification and debugging of web systems
Tesis doctoral de Daniel Omar Romero The increasing complexity of web system has led to the development of sophisticated formal […]
Tesis doctoral de María del mar Gallardo melgarejo
Información academica María del mar Gallardo melgarejo. Tesis donde María del mar Gallardo melgarejo ha sido autor, director o parte del tribunal.
Tecnicas para el analisis automatico de software descrito en lenguajes de programacion
Tesis doctoral de David Sanan Baena La verificación de modelos o model checking es un método formal que explora de
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
Redes reconfigurables. modelización y verificación
Tesis doctoral de Llorens Agost M. Luisa En esta tesis doctoral se aborda el problema de la modelización y la
Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
Tesis doctoral de María Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretación