Login / Signup

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.

Steve Jeffrey Tueno FotsoAmel MammarRégine LaleauMarc Frappier
Published in: ABZ (2018)
Keyphrases