Facilitating construction of safety cases from formal models in Event-B.

Yuliya Prokhorova Linas Laibinis Elena Troubitsyna

Published in: Inf. Softw. Technol. (2015)

Keyphrases

formal models
rule based systems
formal model
process model
database
data sets
causal inferences
information retrieval
learning algorithm
news articles
video event