Knowledge Tree

researcher / Béatrice Bérard

Béatrice Bérard

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Vérification et synthèse d'algorithmes de robots.

Conception semi-automatique de contrôleurs avec VeriJ

Méthodes qualitatives et quantitatives pour la détection d'information cachée

Vérification des propriétés temporisées des automates programmables industriels