22 Mär
2013
22 Mär
'13
17:48
Dear Sirs,
I work at INPE (National Institute For Space Research) in Brazil.
I am a doctoral student and my research topic is on Formal Methods applicable to embedded software for satellites.
I would like to know in detail the COMPASS toolset specifically on the SLIM modeling language.
Is it possible to provide me a license to use the COMPASS toolset to complete may research?
Regards,
Sergio Norio Itami