Hervé Marchand
IdRefMots clés
FR |
EN
Produits plats, planéité, laminage, bombé, profil, flambement, simulation numérique
Simulation par ordinateur
Laminage
Systèmes d’exploitation temps-réel
Systèmes embarqués
Méthodes formelles
Modèles à états finis
Vérification formelle
Systèmes embarqués (informatique)
Code source (informatique)
Temps réel (informatique)
Vérification de modèles (informatique)