Login / Signup
Quantitative methods in security and safety critical applications (NII Shonan Meeting 2012-10).
Jin Song Dong
Annabelle McIver
Carroll Morgan
Published in:
NII Shonan Meet. Rep. (2012)
Keyphrases
</>
safety critical
quantitative methods
fault tolerant
formal methods
safety analysis
agent architecture
embedded systems
support systems
learning analytics
public libraries
adaptive systems
computational tools
real time
e learning
context aware
low cost
data sources
artificial intelligence
data mining