BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-274845, author = {Abbassi, Imran Hafeez and Khalid, Faiq and Hasan, Osman and Kamboh, Awais Mehmood and Shafique, Muhammad}, title = {McSeVIC: A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits}, journal = {IEEE Access}, year = {2018}, volume = {6}, pages = {32240--32257}, doi = {10.1109/ACCESS.2018.2846583} } 1 Datensatz ausgegeben