Knowledge Tree

researcher / Fabien Bonnefoi

Fabien Bonnefoi

at_id:

orcid_id:

Disciplines:

Engineering sciences

Edit Merge See Links

Thesis:

Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents