Relative timing verification revisited

Solé Simó, Marc; Pastor Llorens, Enric

Visualitza/Obre

sole.ps (4.726Mb)

Comparteix:

Veure estadístiques d'ús

Mostra el registre d'ítem complet

Solé Simó, Marc

Pastor Llorens, Enric

Tipus de documentReport de recerca

Data publicació2008

Condicions d'accésAccés obert

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.

Descripció

Technical Report UPC-DAC-RR-CAP-2008-39

Forma partUPC-DAC-RR-CAP-2008-39

URIhttp://hdl.handle.net/2117/6159

Versió de l'editorhttp://gsi.ac.upc.edu/reports/2008/75/frame.ps

Col·leccions

Departament d'Arquitectura de Computadors - Reports de recerca [145]
ICARUS - Intelligent Communications and Avionics for Robust Unmanned Aerial Systems - Reports de recerca [4]

Comparteix:

Veure estadístiques d'ús

Mostra el registre d'ítem complet

Fitxers	Descripció	Mida	Format	Visualitza
sole.ps		4.726Mb	Postscript	Visualitza/Obre

Llevat que s'hi indiqui el contrari, els continguts d'aquesta obra estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya

UPCommons. Portal del coneixement obert de la UPC