Erwan Bousse
Erwan Bousse
Home
Publications
Talks
Awards
Students
Projects
Services
Software
Teaching
Contact
Takaya Katsuragi
Latest
Aligning SysML with the B method to provide V&V for systems engineering
Cite
×