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
1234567
891011121314
15161718192021
22232425262728
2930
<< april - 2019 >>
  • Web cumple con la normativa w3ccs
  • Web que cumple con la normativa w3xhtml
  • Universitat Politècnica Catalunya
  • FIB
  • LSI