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 […]
Información academica Fernando Lopez Pelayo. Tesis donde Fernando Lopez Pelayo ha sido autor, director o parte del tribunal.
Tesis doctoral de Mercedes Garcia Merayo Null los métodos formales son técnicas con base matemática que se utilizan tanto para […]
Tesis doctoral de Fernando Lopez Pelayo En esta tesis se presenta un modelo teórico para validar características cualitativas y cuantitativas
Tesis doctoral de Fernando Lopez Pelayo Se analizan sistemas dinámicos discretos inducidos por aplicaciones triangulares bidimensionales del cuadrado unidad. Se
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