Two quantitative extensions to perform formal testing of timed systems

Simple item page
dc.contributor.advisorNúñez García, Manuel
dc.contributor.authorAndrés Sánchez, César
dc.date.accessioned2023-06-20T14:26:47Z
dc.date.available2023-06-20T14:26:47Z
dc.date.issued2008
dc.descriptionMaster en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/10077
dc.identifier.urihttps://hdl.handle.net/20.500.14352/54502
dc.language.isoeng
dc.page.total113
dc.rightsAtribución-NoComercial 3.0 España
dc.rights.accessRightsopen access
dc.rights.urihttps://creativecommons.org/licenses/by-nc/3.0/es/
dc.subject.cdu004.414.2(043.3)
dc.subject.cdu519.216(043.3)
dc.subject.keywordFormal methods
dc.subject.keywordTesting extensions
dc.subject.keywordTimed extensions
dc.subject.keywordPassive testing and monitoring
dc.subject.keywordPassive testing tools
dc.subject.ucmSoftware
dc.subject.ucmProcesos estocásticos
dc.subject.unesco3304.16 Diseño Lógico
dc.subject.unesco1208.08 Procesos Estocásticos
dc.titleTwo quantitative extensions to perform formal testing of timed systems
dc.typemaster thesis
dspace.entity.typePublication
relation.isAdvisorOfPublication26825d32-1d0a-4bbb-b145-e014e22f1a88
relation.isAdvisorOfPublication.latestForDiscovery26825d32-1d0a-4bbb-b145-e014e22f1a88

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
CesarAndresSanchez.pdf
Size:
1.11 MB
Format:
Adobe Portable Document Format
Download Download

Collections

Trabajos Fin de Master (TFM)