Résultats de la recherche

  • fr Compétences techniques

    Développement et preuve de propriétés via des méthodes formelles : Matlab, Simulink, Stateflow, Simulink Design Verifier, Scade Design Verifier ("Model-Based Design") Atelier B Outils de génération de tests Analyse statique...