Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Emmanuelle Encrenaz
Emmanuelle Encrenaz
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Thesis:
Une methode de verification de proprietes de programmes vhdl basee sur des modeles formels de reseaux de petri
Directed Thesis:
Sécurisation de programmes assembleur face aux attaques visant les processeurs embarqués
Vérification compositionnelle pour la conception sûre de systèmes embarqués
An inverse method for the synthesis of timing parameters in concurrent systems
Détection des interblocages dans les réseaux sur puces