Communication Dans Un Congrès
Année : 2022
Contributeur MAP CEA : Connectez-vous pour contacter le contributeur
https://cea.hal.science/cea-04176977
Soumis le : jeudi 3 août 2023-17:30:17
Dernière modification le : mercredi 15 mai 2024-13:42:16
Dates et versions
Identifiants
- HAL Id : cea-04176977 , version 1
Citer
Adel Djoudi, Martin Hana, Nikolai Kosmatov, Milan Krizenecky, Franck Ohayon, et al.. A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine. Embedded Real Time Systems (ERTS), Mar 2022, Toulouse, France. ⟨cea-04176977⟩
15
Consultations
0
Téléchargements