Catégorie
Auteurs
doc ID
931649
Nom
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool
Date de publication