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 […]
Tesis doctoral de Gregorio Diaz Descalzo
Información academica Gregorio Diaz Descalzo. Tesis donde Gregorio Diaz Descalzo ha sido autor, director o parte del tribunal.
Algoritmos heurísticos y aplicaciones a métodos formales
Tesis doctoral de Pablo Manuel Rabanal Basalo Los algoritmos de optimización basados en búsquedas locales recorren el espacio de soluciones
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