Login / Signup
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea.
Fábio Levy Siqueira
Thiago C. de Sousa
Paulo Sérgio Muniz Silva
Published in:
FormaliSE@ICSE (2017)
Keyphrases
</>
high level
risk management