La validation des logiciels : un enjeu critique majeur
Les logiciels embarqués dans les systèmes complexes modernes ont la capacité de transformer les objets du monde physique en objets numériques, intelligents, autonomes et communicants. L’émergence des technologies dites de « l’objet…