Project Description
MODELOGOS: Modelling and Synthesis during Logical Design of Computer Systems: From Formalization to Applications
Research
Main Researcher: 
Jaume Agustí-Cullell
Funding Entity: 
TIC97-0579-C02-01
Date: 
01/08/1997 - 31/07/2000
»