Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Virginie Wiels
Virginie Wiels
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Analyse de la qualité de code via une approche logique et application à la robotique
Vérification par Model Checking des commandes de vol : applicabilité industrielle et analyse de contre-exemples