| Título: | Two quantitative extensions to perform formal testing of timed systems |
| Autores: | Andrés Sánchez, César |
| Tipo de documento: | texto impreso |
| Fecha de publicación: | 2008 |
| Dimensiones: | application/pdf |
| Nota general: |
cc_by_nc info:eu-repo/semantics/openAccess |
| Idiomas: | |
| Palabras clave: | Estado = No publicado , Materia = Ciencias: Informática: Software , Materia = Ciencias: Matemáticas: Procesos estocásticos , Tipo = Trabajo Fin de Máster |
| En línea: | https://eprints.ucm.es/id/eprint/10077/1/CesarAndresSanchez.pdf |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
