Two quantitative extensions to perform formal testing of timed systems

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] 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