Rabéa Ameur-Boulifa
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Méthodes formelles (informatique)
Systèmes embarqués
Modèle formel
Raffinement formel
Propriétés linéaires
Systèmes, Conception de
Mbsa
Safety
Idm
Modelisation
Ingénierie dirigée par les modèles
Méthodes formelles
Validation et vérification
Analyse des exigences
Véhicules autonomes
Bruit électromagnétique
Émetteurs-récepteurs radio
Attaques par canaux auxiliaires
Canaux cachés