Login / Signup
Extending the application of formal methods to analyse human error and system failure during accident investigations.
Christopher W. Johnson
Alastair J. Telford
Published in:
Softw. Eng. J. (1996)
Keyphrases
</>
formal methods
error rate
safety critical
development lifecycle
database
formal analysis
process algebra
databases
machine learning
artificial intelligence
database systems
object oriented
decision support
failure rate
model checker