Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto Sensoria
CMC: COWS model checker version 0.4
Mazzanti F
2007
Abstract
Model checker prototipale per il linguaggio di specifica COWS, sviluppato nell'ambito del progetto SensoriaFile in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_149550-doc_2013.pdf
non disponibili
Descrizione: CMC: COWS model checker version 0.4
Dimensione
280.48 kB
Formato
Adobe PDF
|
280.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.