Complutense University Library

Two quantitative extensions to perform formal testing of timed systems

Andrés Sánchez, César (2008) Two quantitative extensions to perform formal testing of timed systems. [Trabajo Fin de Máster]

[img] PDF
1MB
View download statistics for this eprint

==>>> Export to other formats


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:
DirectorsDirector email
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:15 Feb 2010 15:50

Repository Staff Only: item control page