DSpace Collection: http://hdl.handle.net/2117/4963 2013-05-23T18:32:18Z Design of a Supersonic Wind Tunnel http://hdl.handle.net/2117/16017 Title: Design of a Supersonic Wind Tunnel Authors: Torunogullari, Altay; Schneider, Maxime; Pal, Itsvan; Tristancho Martínez, Joshua Abstract: This study was a preliminary work of how to implement a rocket with sensors in order to get information about the flight. 2012-06-11T15:12:07Z Relative timing verification revisited http://hdl.handle.net/2117/6159 Title: Relative timing verification revisited Authors: Solé Simó, Marc; Pastor Llorens, Enric 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. Description: Technical Report UPC-DAC-RR-CAP-2008-39 2010-01-15T11:59:28Z