Mostra 1 - 2 risultati di 2 ricerca '"Model validation and analysis."', tempo di risposta: 0,02s Raffina i risultati
  1. 1

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

    Articolo

    CHARMY an extensible tool for architectural analysis.
  2. 2

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

    Articolo

    Detecting implied scenarios in message sequence chart specifications.

Strumenti per la ricerca: