Login / Signup
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.
Steve Jeffrey Tueno Fotso
Amel Mammar
Régine Laleau
Marc Frappier
Published in:
ABZ (2018)
Keyphrases
</>
domain models
formal methods
description language
model checker
domain knowledge
process model
knowledge structures
safety analysis
model checking
high level
formal verification
association rules
formal specification
case study
semantic web technologies
natural language text