Formal Foundations for Hierarchical Safety Cases.

Ewen Denney Ganesh J. Pai Iain Whiteside

Published in: HASE (2015)

Keyphrases

artificial intelligence
databases
hierarchical structures
information systems
real time
hierarchical structure
test cases
data model
coal mining
formal specification
coarse to fine
case base
probabilistic model
artificial neural networks
multiscale
database systems
real world
data sets