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