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]
![[thumbnail of CesarAndresSanchez.pdf]](/style/images/fileicons/application_pdf.png) |
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
