Search
Formal requirements modeling for critical systems: Method and Toolkit – FORMOSE
industrial partners (THALES and ClearSy). Last but not least, THALES and ClearSy engineers will follow the [...] Institut Mines-Telecom) and 2 companies (THALES and ClearSy). It is well-known that requirements engineering [...] return on the usability of the Formose method. ClearSy will ensure tools exploitation and maintenance