This is the presentation of the paper "A Runtime Environment for Contract Automata", published at the 25th International Symposium on Formal Methods. The paper is available at https://doi.org/10.1007/978-3-031-27481-7_31
A runtime environment for contract automata
Basile D
2023
Abstract
This is the presentation of the paper "A Runtime Environment for Contract Automata", published at the 25th International Symposium on Formal Methods. The paper is available at https://doi.org/10.1007/978-3-031-27481-7_31File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_487376-doc_202485.zip
accesso aperto
Descrizione: A runtime environment for contract automata - video presentation
Tipologia:
Versione Editoriale (PDF)
Dimensione
48.42 MB
Formato
Unknown
|
48.42 MB | Unknown | Visualizza/Apri |
prod_487376-doc_202621.pdf
accesso aperto
Descrizione: A runtime environment for contract automata - slides
Tipologia:
Versione Editoriale (PDF)
Dimensione
3.68 MB
Formato
Adobe PDF
|
3.68 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.