Mussot, Vincent, 1986-....
VIAF ID: 149150565602706250943 ( Personal )
Permalink: http://viaf.org/viaf/149150565602706250943
Preferred Forms
Works
Title | Sources |
---|---|
Automates d'annotation de flot pour l'expression et l'intégration de propriétés dans l'analyse de WCET | |
Flow fact automata for the expression and the integration of properties in WCET analysis. |