Sign in
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.
Racem Bougacha
Régine Laleau
Simon Collart Dutilleul
Rahma Ben Ayed
Published in:
TASE (2022)
Keyphrases
</>
neural network
event detection
news articles
generation method
automatically generating
decomposition methods
modeling language
formal methods
decomposition method
design requirements
delay insensitive