Login / Signup
Formal Meta Engineering Event-B: Extension and Reasoning The EB4EB Framework.
Peter Riviere
Published in:
ABZ (2021)
Keyphrases
</>
meta level
formal model
computer science
main contribution
theoretical framework
knowledge base
event detection
logical framework
formal models
meta reasoning
data mining
e learning