1. Formal modeling for verifying SCA composition
    Lazhar Hamel et al. 2015. 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS) p.193
    doi : 10.1109/RCIS.2015.7128880

Mise-à-jour / Updated: 2017-08-18