Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Pierre-Etienne Moreau

Pierre-Etienne Moreau

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Directed Thesis:

Méthodes et outils pour la programmation des systèmes cyber-physiques
Un îlot formel pour les transformations de modèles qualifiables
Un système de types pour la programmation par réécriture embarquée
Conception d'un langage dédié à l'analyse et la transformation de programmes
Contraintes d'anti-filtrage et programmation par réécriture
Réécriture et compilation de confiance