Formal models of 4SECURAIL case study in the notation accepted by UMC, ProB, CADP/LNT
Formal models of the SAI/CSL system of the 4SECURail case study
Mazzanti F;Belli D
2021
Abstract
Formal models of 4SECURAIL case study in the notation accepted by UMC, ProB, CADP/LNTFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_457141-doc_177263.zip
accesso aperto
Descrizione: Formal models of the SAI/CSL system of the 4SECURail case study
Dimensione
7.02 MB
Formato
Unknown
|
7.02 MB | Unknown | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
