Research Projects

This web application has been supported by the research project FORMALISM (ALBCOM/LSI, UPC).

FORMALISM

 

Métodos formales y algoritmos para el diseño de sistemas
Number: TIN2007-66523
Description:  
Period: 1/2007-12/2012
Money: 821.000 EUR
Members:

F. Orejas (local coordinator).

Participants:

Universitat Politècnica de Catalunya

Coordinator: F. Orejas

 

M T W TH F S SU
 123456
78910111213
14151617181920
21222324252627
28293031
<< january - 2019 >>
  • Web cumple con la normativa w3ccs
  • Web que cumple con la normativa w3xhtml
  • Universitat Politècnica Catalunya
  • FIB
  • LSI