Enviaments recents

  • SESAR 2020 : Joint Undertaking : Budapest2.0 : Demonstration Report 

    Corte, Luján; Füredi, Eszter; Prats Menéndez, Xavier (2016-12-15)
    Report de recerca
    Accés obert
    BUDAPEST 2.0 project aimed at showing that SESAR solutions can improve operational efficiency at small and medium-sized airports. The solutions include Remote Tower Services (which aims at increasing ATCO’s situational ...
  • 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