LaQuSo: Using Formal Methods for Analysis of Safety-Cr.

Sjaak Smetsers Marko C. J. D. van Eekelen

Published in: ERCIM News (2008)

Keyphrases

formal methods
formal analysis
knowledge based systems
database
data mining
machine learning
data analysis
safety critical
case study
formal specification
safety analysis