/hardware analyses through
the application of formal methods, you will actively contribute to a national research project... dedicated to
the development of a predictability toolbox. This toolbox aims to analyze
the worst-case temporal behavior... -
Voir cette offre d'emploi