-ensemble embarqué de Simulink, Squid), incluant son langage et sa chaîne d'
outils associée, pour évaluer le compromis... des
machines à états (SCADE SSM vs Stateflow), en étudiant leur rigueur formelle, la qualité du code généré et leur impact... -
Voir cette offre d'emploi