Renaud Pacalet
IdRefMots clés
FR |
EN
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Exploration d'architecture
Ingénierie des modèles
Systèmes embarqués
Simulation
Systèmes de communication sans fil
Systèmes sur puce
Cryptographie
Flot de données
Programmation par contraintes
UML / SysML
Satisfiability Modulo Theories
Virtualisation
Mémoire
Systèmes désagrégés
Architecture des ordinateurs
Systèmes virtuels (informatique)
Méthodes formelles
Sécurité