A Formal Basis for Safety Case Patterns.

Ewen Denney Ganesh Pai

Published in: SAFECOMP (2013)

Keyphrases

interesting patterns
data mining techniques
starting point
design patterns
formal model
real time
data mining
machine learning
website
pattern analysis
mathematical theory
formal language