Formal verification of the FDO protocol / Bussa, Simone; Sisto, Riccardo; Valenza, Fulvio. - (In corso di stampa). (Intervento presentato al convegno IEEE International Conference on Standards for Communications and Networking (CSCN 2023)).
Formal verification of the FDO protocol
Simone Bussa;Riccardo Sisto;Fulvio Valenza
In corso di stampa
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
FDO_verification_pre_cameraready.pdf
non disponibili
Tipologia:
2. Post-print / Author's Accepted Manuscript
Licenza:
Non Pubblico - Accesso privato/ristretto
Dimensione
1.54 MB
Formato
Adobe PDF
|
1.54 MB | 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/2982774