Knowledge Tree

researcher / Michel Bourdellès

Michel Bourdellès

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Analyse de systèmes réactifs synchrones à des fins de vérification : Application au langage ESTEREL