SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.

SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.

Authors
D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand and A. Messina
Editors
A. Z. T. Gyimóthy