Search
1 results were found in search for "clearsy".
Displaying results 1 to 1 of 1.
Funded projects
30/09/2014
– 48 monthes
Relevance:
100%
Sciences et technologies logicielles
Formal requirements modeling for critical systems: Method and Toolkit – FORMOSE
The Formose project is an industrial research project that aims to provide a formally-grounded, model-based requirements engineering method for critical complex systems, supported by an open-source environment. Formose is a 48 months project proposed by a consortium made up of 2 academic partners (L
