Login / Signup
Can Regulatory Bodies Expect Efficient Help from Formal Methods?.
Eduardo Rafael López Ruiz
Michel Lemoine
Published in:
NASA Formal Methods (2010)
Keyphrases
</>
formal methods
formal analysis
knowledge based systems
formal specification
model checker
artificial intelligence
open source
safety critical
data mining
case study
relational databases
software development