Renaud Pacalet
Mots clés
FR |
EN
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Systèmes embarqués
Simulation
Exploration d'architecture
Ingénierie des modèles
Systèmes de communication sans fil
Systèmes sur puce
Vérification
Méthodes formelles
Cryptographie
Radio logicielle
Réseaux ad hoc de véhicules
UML (informatique)
Modèles de calcul flux de données
Système Embarqué
Modélisation d’application
Architecture dataflow
Traitement du signal
Modélisation des données (informatique)