Archivio Istituzionale della RicercaFormally Sound Refinement of Spi Calculus Protocol Specifications into Java Code / Pironti, Alfredo; Sisto, Riccardo. - STAMPA. - (2008), pp. 241-250. (Intervento presentato al convegno High Assurance Systems Engineering Symposium (HASE 2008) tenutosi a Nanjing, China nel 3-5 December 2008) [10.1109/HASE.2008.27].
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code
PIRONTI, ALFREDO;SISTO, Riccardo
2008
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
1868524.pdf
accesso aperto
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
PUBBLICO - Tutti i diritti riservati
Dimensione
237.63 kB
Formato
Adobe PDF
|
237.63 kB | Adobe PDF | Visualizza/Apri |
|
Formally_Sound_Refinement_of_Spi_Calculus_Protocol_Specifications_into_Java_Code.pdf
non disponibili
Tipologia:
2a Post-print versione editoriale / Version of Record
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
304.48 kB
Formato
Adobe PDF
|
304.48 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11583/1868524