Validation of SDL-based architectural design models using communication-based coverage criteria

Andy Restrepo, W. Eric Wong. Validation of SDL-based architectural design models using communication-based coverage criteria. Information \& Software Technology, 54(12):1418-1431, 2012. [doi]

Abstract

Abstract is missing.