Le moteur de recherche
des thèses françaises
Rabéa Ameur-Boulifa
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Méthodes formelles (informatique)
Véhicules autonomes
Systèmes embarqués
Modèle formel
Raffinement formel
Propriétés linéaires
Conception de systèmes informatiques
Mbsa
Safety
Idm
Modelisation
Ingénierie dirigée par les modèles
Vehicule automatisé
Vérification
Génération de test
Modélisation formelle
Système embarqué
Tolérance aux fautes (informatique)
Méthodes formelles