CompanyAMPERE SOFTWARE TECHNOLOGY Job Description Contribution à un langage de modélisation automobile formellement vérifié pour les logiciels embarqués critiques Référence interne : C26-RGE-AMS/ST4 I – Contexte A. Thème et problématique de recherche Lintroduction du Software Defined