Data di Pubblicazione:
2006
Abstract:
Strumento software per la simulazione di sistemi descritti tramite l'algebra di processo PSC.
Tipologia CRIS:
05.11 Software
Keywords:
model-checking; verifica formale; descrizione formale; simulazione
Elenco autori:
Mazzanti, Franco
Link alla scheda completa: