ALTERNANCE - Contribution à des travaux d’injection de fautes formelle et d’analyse statistique de sécurité
STMicroelectronics
-
Laval, France
L'objectif de cette alternance est de contribuer à des travaux de thèses de 2 étudiants concernant les méthodes formelle pour l’injection de fautes, son application à des cas d’études et au développement...
il y a 14 jours