Núñez García, ManuelAndrés Sánchez, César2023-06-202023-06-202008https://hdl.handle.net/20.500.14352/54502Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008engAtribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/master thesisopen access004.414.2(043.3)519.216(043.3)Formal methodsTesting extensionsTimed extensionsPassive testing and monitoringPassive testing toolsSoftwareProcesos estocásticos3304.16 Diseño Lógico1208.08 Procesos Estocásticos