Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Yliès Carlo Falcone
Yliès Carlo Falcone
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Etude et mise en oeuvre de techniques de validation à l'exécution
Directed Thesis:
Vérification interactive de propriétés à l'exécution
Vérification à l'exécution de spécifications décentralisées hiérarchiques
Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs 32 bits