Login / Signup
Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.
David S. Hardin
Published in:
FMCAD (2008)
Keyphrases
</>
safety critical
formal methods
embedded systems
cooperative
information security
artificial intelligence
user interface
decision support system
intelligent systems
formal verification
safety analysis
data mining
knowledge representation
software development
design process
nuclear power plant