Search
Concepts for correctness of complex configurations of components, connectors and contracts – Cx
Cx is a 36-months industrial-research project proposed by an academic partner (Onera, coordinator) and an SME (ClearSy). Systems engineering, in the civil as well as in the defence industry, lacks an effective environment for systems architecture modelling and verification. Industrial approaches