their
formal rigor, the quality of the generated code, and their impact on the entire verification and certification workflow (e.g... in
formal modeling languages. ● Technical expertise in modeling state machines and numerical algorithms in MBD environments... -
Voir cette offre d'emploi