I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Formal Verification of Security Critical Hardware-Firmware ..:

, In: Proceedings of the 56th Annual Design Automation Conference 2019,
Ray, Sayak ; Ghosh, Nishant ; Masti, Ramya Jayaram.. - p. 1-4 , 2019
Link: https://dl.acm.org/doi/10.1145/3316781.3323478