[IEEE 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS) - Athens, Greece (2015.5.13-2015.5.15)] 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS) - Formal modeling for verifying SCA composition
Hamel, Lazhar, Graiet, Mohamed, Kmimech, MouradYear:
2015
Language:
english
DOI:
10.1109/RCIS.2015.7128880
File:
PDF, 303 KB
english, 2015