Relative timing verification revisited
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/6159
Tipus de documentReport de recerca
Data publicació2008
Condicions d'accésAccés obert
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
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
URL repositori externhttp://gsi.ac.upc.edu/reports/2008/75/frame.ps
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
sole.ps | 4,726Mb | Postscript | Visualitza/Obre |