Two quantitative extensions to perform formal testing of timed systems
| dc.contributor.advisor | Núñez García, Manuel | |
| dc.contributor.author | Andrés Sánchez, César | |
| dc.date.accessioned | 2023-06-20T14:26:47Z | |
| dc.date.available | 2023-06-20T14:26:47Z | |
| dc.date.issued | 2008 | |
| dc.description | Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008 | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | TRUE | |
| dc.description.status | unpub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/10077 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/54502 | |
| dc.language.iso | eng | |
| dc.page.total | 113 | |
| dc.rights | Atribución-NoComercial 3.0 España | |
| dc.rights.accessRights | open access | |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc/3.0/es/ | |
| dc.subject.cdu | 004.414.2(043.3) | |
| dc.subject.cdu | 519.216(043.3) | |
| dc.subject.keyword | Formal methods | |
| dc.subject.keyword | Testing extensions | |
| dc.subject.keyword | Timed extensions | |
| dc.subject.keyword | Passive testing and monitoring | |
| dc.subject.keyword | Passive testing tools | |
| dc.subject.ucm | Software | |
| dc.subject.ucm | Procesos estocásticos | |
| dc.subject.unesco | 3304.16 Diseño Lógico | |
| dc.subject.unesco | 1208.08 Procesos Estocásticos | |
| dc.title | Two quantitative extensions to perform formal testing of timed systems | |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| relation.isAdvisorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAdvisorOfPublication.latestForDiscovery | 26825d32-1d0a-4bbb-b145-e014e22f1a88 |
Download
Original bundle
1 - 1 of 1
