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 […]
Tesis doctorales de Fernando Lopez Pelayo
Applications of formal methods to performance evaluation
Tesis doctoral de Fernando Lopez Pelayo En esta tesis se presenta un modelo teórico para validar características cualitativas y cuantitativas
Sistemas dinamicos discretos inducidos por aplicaciones triangulares
Tesis doctoral de Fernando Lopez Pelayo Se analizan sistemas dinámicos discretos inducidos por aplicaciones triangulares bidimensionales del cuadrado unidad. Se
Contributions to formal communication elimination for system models with explicit parallelism
Tesis doctoral de Francesc Xavier Babot Pagés Los métodos de verificación formal se están usando cada vez más en la
