Showing 1 - 2 results of 2 for search '"Model validation and analysis."', query time: 0.02s Refine Results
  1. 1

    CHARMY an extensible tool for architectural analysis. by Inverardi, Paola

    Article

    CHARMY an extensible tool for architectural analysis.
  2. 2

    Detecting implied scenarios in message sequence chart specifications. by Uchitel, Sebastian

    Article

    Detecting implied scenarios in message sequence chart specifications.

Search Tools: