Lucas RANSAN

Doctorant/Contrat Jeune Chercheur
Université d'Orléans
LMV
lucas.ransan[at]etu.univ-orleans.fr
Thèse : Vérification de modules critiques d'hyperviseur avec la prise en compte des propriétés matérielles

Publications HAL de Lucas RANSAN sous affiliation au LIFO - 1 publication

Pour une liste indépendante de l'affiliation, consulter DBLP.

  • 2026 - (1)

    • Publications dans les actes d'un congrès international avec comité de lecture - (1)