RT Generic
T1 Two quantitative extensions to perform formal testing of timed systems
A1 Andrés Sánchez, César
YR 2008
FD 2008
LK https://hdl.handle.net/20.500.14352/54502
UL https://hdl.handle.net/20.500.14352/54502
LA eng
NO Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008
DS Docta Complutense
RD 5 abr 2025