Login / Signup

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.

Racem BougachaRégine LaleauSimon Collart DutilleulRahma 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