This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at work
Contract automata application
Basile D
2021
Abstract
This is a GUI application of the Contract Automata Toolkit, exploiting the contract automata library to put contract automata at workFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_456741-doc_176890.jar
accesso aperto
Descrizione: Contract automata application
Dimensione
7.71 MB
Formato
Unknown
|
7.71 MB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
