Publication Date:
2006
abstract:
Strumento software per la simulazione di sistemi descritti tramite l'algebra di processo PSC.
Iris type:
05.11 Software
Keywords:
model-checking; verifica formale; descrizione formale; simulazione
List of contributors: