IndexAuthor

Number of items: 3.

Isabel Márquez, Miguel (2017) Deadlock-Guided Testing in CLP. [Trabajo Fin de Máster]

Isabel Márquez, Miguel (2015) Techniques to improve testing scalability on concurrent programs: combining static analysis and testing for Deadlock detection. [Trabajo Fin de Grado]

Isabel Márquez, Miguel (2021) Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad. [Thesis]

This list was generated on Wed Sep 22 03:18:00 2021 CEST.