Aviso: Por labores de mantenimiento y mejora del repositorio, el martes día 1 de Julio, Docta Complutense no estará operativo entre las 9 y las 14 horas. Disculpen las molestias.
 

Two quantitative extensions to perform formal testing of timed systems

Thumbnail Image

Download

downoloadCesarAndresSanchez.pdf (1.11 MB)

Official URL

Full text at PDC

Publication date

2008

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/54502

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

Master en Investigación en Informática, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, curso 2007-2008

UCM subjects

Software, Procesos estocásticos

Unesco subjects

3304.16 Diseño Lógico, 1208.08 Procesos Estocásticos

Keywords

Collections

Trabajos Fin de Master (TFM)