Truong Giang Le
IdRefMots clés
FR |
EN
Programmation événementielle
Programmation à base de règles
Applications sensibles au contexte
Smart Computing
Programmation de robots
Programmation concurrente
Programmation embarquée
Vérification et validation
Analyse statique
Model checking
Programmation (informatique)
Robots -- Programmation
Logiciels -- Vérification