Impacto
Downloads
Downloads per month over past year
Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo Fin de Máster]
![]() |
PDF
Creative Commons Attribution Non-commercial. 1MB |
Item Type: | Trabajo Fin de Máster |
---|---|
Additional Information: | Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008 |
Directors: | Directors Núñez García, Manuel |
Uncontrolled Keywords: | Formal methods, Testing extensions, Timed extensions, Passive testing and monitoring, Passive testing tools |
Subjects: | Sciences > Computer science > Software Sciences > Mathematics > Stochastic processes |
ID Code: | 10077 |
Deposited On: | 15 Feb 2010 15:50 |
Last Modified: | 23 Mar 2020 13:04 |
Origin of downloads
Repository Staff Only: item control page