Relative timing verification revisited

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/6159

dc.contributor	Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
dc.contributor	Universitat Politècnica de Catalunya. ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems
dc.contributor.author	Solé Simó, Marc
dc.contributor.author	Pastor Llorens, Enric
dc.date	2008
dc.identifier.uri	http://hdl.handle.net/2117/6159
dc.language.iso	eng
dc.relation	UPC-DAC-RR-CAP-2008-39
dc.relation	http://gsi.ac.upc.edu/reports/2008/75/frame.ps
dc.rights	Attribution-NonCommercial-NoDerivs 3.0 Spain
dc.rights	info:eu-repo/semantics/openAccess
dc.rights	http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject	Àrees temàtiques de la UPC::Informàtica::Programació
dc.subject	Formal methods (Computer science)
dc.subject	Mètodes formals (Informàtica)
dc.subject	Programari -- Verificació
dc.title	Relative timing verification revisited
dc.type	info:eu-repo/semantics/draft
dc.type	info:eu-repo/semantics/report
dc.description.abstract	Technical Report UPC-DAC-RR-CAP-2008-39
dc.description.abstract	Timed verification is a difficult problem. One of the ways in which it can be simplified is by using iterative refinement techniques. Here we investigate the advantages and shortcomings of this approach when combined with relative timing reasoning.

Pastor Llorens, Enric; Solé Simó, Marc; López, Juan; Royo Chic, Pablo; Barrado Muxí, Cristina

Solé Simó, Marc; Pastor Llorens, Enric; Pérez Batlle, Marcos; Santamaria Barnadas, Eduard; Barrado Muxí, Cristina

Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc

Herranz Sotoca, Javier; Nin Guerrero, Jordi; Solé Simó, Marc

Zasadzinski, Michal; Solé Simó, Marc; Brandon, Alvaro; Muntés Mulero, Victor; Carrera Pérez, David

Coordinación

Patrocinio