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