MSCan - A Tool for Analyzing MSC Specifications.

Benedikt Bollig Carsten Kern Markus Schlütter Volker Stolz

Published in: TACAS (2006)

Keyphrases

data mining
similarity measure
formal specification
metadata
image processing
high level
data analysis
asynchronous circuits