Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. Tesis Master's thesis.
![[img]](/style/images/fileicons/application_pdf.png) | PDF 1140Kb |
| Item Type: | Thesis (Master's thesis) | ||||
|---|---|---|---|---|---|
| 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: |
| ||||
| 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 16:50 | ||||
| Last Modified: | 15 Feb 2010 16:50 |
Repository Staff Only: item control page
