Login / Signup
Digital system robustness via design constraints: The lesson of formal methods.
Jackson R. Mayo
Robert C. Armstrong
Geoffrey C. Hulette
Published in:
SysCon (2015)
Keyphrases
</>
formal methods
circuit design
safety critical
artificial intelligence
software engineering
knowledge based systems
formal analysis
formal specification
database
databases
case study
design process
model checking