Login / Signup
ATPG Binning and SAT-Based Approach to Hardware Trojan Detection for Safety-Critical Systems.
Animesh Basak Chowdhury
Ansuman Banerjee
Bhargab B. Bhattacharya
Published in:
NSS (2018)
Keyphrases
</>
safety critical
embedded systems
formal methods
safety analysis
fault tolerant
real time
nuclear power plant
agent architecture
medical images
support systems
data mining
management system
open source
intelligent systems
context aware
regulatory requirements