Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge
Crossref DOI link: https://doi.org/10.1007/s12652-016-0371-6
Published Online: 2016-04-09
Published Print: 2016-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Desnitsky, Vasily
Kotenko, Igor
Funding for this research was provided by:
Ministry of Education and Science of the Russian Federation (contract # 14.604.21.0147, unique contract identifier RFMEFI60414X0147)
Text and Data Mining valid from 2016-04-09