Data di Pubblicazione:
2007
Abstract:
Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto Sensoria
Tipologia CRIS:
05.11 Software
Keywords:
Model cheker; Socl logic; COWS
Elenco autori:
Mazzanti, Franco
Link alla scheda completa: