Login / Signup
Investigation of multi cell upset in sequential logic and validity of redundancy technique.
Taiki Uemura
Takashi Kato
Hideya Matsuyama
Keiji Takahisa
Mitsuhiro Fukuda
Kichiji Hatanaka
Published in:
IOLTS (2011)
Keyphrases
</>
modal logic
multi valued
computational properties
logic programming
classical logic
information content
microscopic images
data sets
case study
digital circuits
digital forensics
asynchronous circuits
sound and complete axiomatization