Renaud Pawlak
IdRefMots clés
FR |
EN
Programmation (informatique)
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
Robots -- Programmation
Logiciels -- Vérification
Programmation orientée aspects (informatique)
Langages de programmation -- Sémantique
Génie logiciel
Répartition de charge
Cloud
Données Massives
Informatique dans les nuages