Dumitru Potop Butucaru
Chargé de Recherche – Inria
Thèmes :
PPC – Contraintes et SAT
PRH – Planification et Recherche Heuristique
Mots-clés :
- real-time
- code generation
- safety
Chargé de Recherche – Inria
PPC – Contraintes et SAT
PRH – Planification et Recherche Heuristique