of an iterative methodology for critical embedded software architectures exploration, guided by
extra functional properties evaluation... by a formal verification of
extra functional system properties using existing tools. The exploration and the evaluation... -
Voir cette offre d'emploi