des machines à états (SCADE SSM vs Stateflow), en étudiant leur rigueur formelle, la qualité du code généré et leur
impact... their formal rigor, the quality of the generated code, and their
impact on the entire verification and certification workflow (e.g... -
Voir cette offre d'emploi