Projects

    The people of our group have been involved in the following projects

  • PROMETIDOS-CM (CAM, 52009TIC-1465)
    From:2010-01-01, To:2013-12-31
  • TIN2008-06622-C03-01/TIN
    From:2009-01-01, To:2011-12-31
  • PROMESAS-CAM (CAM, S-0505/TIC/0407)
    From:2006-01-01, To:2009-12-31
    Program in Methods for the Development of Dependable, High-Quality, and Secure Software
  • MERIT-FORMS-UCM (MEC, TIN2005-09027-C03-03)
    From:2005-10-01, To:2008-10-31
    Métodos RIgurosos para sistemas software heTerogéneos y móviles
  • MELODIAS (CICYT, TIC2002-01167)
  • TREND (CICYT,TIC 98-0045-C03-02)
  • CCL II (ESPRIT, BRWG 22457)
  • CCL (ESPRIT, WG 6028)
  • CPD (CICYT,TIC 95 - 0433 - C03 - 01)
  • PDR (CICYT,TIC 92 - 0793 - C02 - 01)
    From:2001-10-06, To:2001-10-20
  • BABEL (CICYT, TIC 89/0104)
    From:2000-10-06, To:2000-10-13