Antonio Messina
External collaborator
Publications
Simula-affiliated publications listed
2011
Proceedings, refereed
Read SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.
D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand and A. Messina
SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML.
SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13)