Enviaments recents

  • Design of a Supersonic Wind Tunnel 

    Torunogullari, Altay; Schneider, Maxime; Pal, Itsvan; Tristancho Martínez, Joshua (2011-09-23)
    Report de recerca
    Accés obert
    This study was a preliminary work of how to implement a rocket with sensors in order to get information about the flight.
  • Relative timing verification revisited 

    Solé Simó, Marc; Pastor Llorens, Enric (2008)
    Report de recerca
    Accés obert
    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 ...

Mostra'n més