Knowledge Tree

researcher / June Andronick Liège

June Andronick Liège

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Modélisation et vérification formelles de systèmes embarqués dans les cartes à microprocesseur : plate-forme Java Card et système d'exploitation