BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-277950, author = {Khalid, Faiq and Hasan, Syed Rafay and Hasan, Osman and Awwad, Falah}, title = {Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification}, journal = {Integration the VLSI journal}, year = {2018}, volume = {61}, number = {C}, pages = {62--76}, doi = {10.1016/j.vlsi.2017.11.003}, keywords = {Hardware Trojans, Runtime monitors, Network on Chip (NoC), Burst mode communication, Formal verification, Model checking} } 1 Datensatz ausgegeben