Aligning SysML with the B method to provide V&V for systems engineering

Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Takaya Katsuragi
January, 2012
Preprint PDF DOI
Type
Conference paper
Publication
Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa)