Page personnelle

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

Modifier vos informations