David Mentré

Latest

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