Archivio Istituzionale della RicercaBETTASSA COPET, PIERGIUSEPPE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Formally sound implementations of security protocols with JavaSPI
2018 Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo
Formal verification of LTE-UMTS and LTE–LTE handover procedures
2017 BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
DynNav: Toward Open and Interoperable Navigation Services
2016 Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formally sound implementations of security protocols with JavaSPI / Sisto, Riccardo; Bettassa Copet, Piergiuseppe; Avalle, Matteo; Pironti, Alfredo. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 30:2(2018), pp. 279-317. [10.1007/s00165-017-0449-8] | 1-gen-2018 | Sisto, RiccardoBettassa Copet, PiergiuseppeAvalle, Matteo + | AuthorsPostPrint.pdf; 10.1007_s00165-017-0449-8.pdf |
| Formal verification of LTE-UMTS and LTE–LTE handover procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50:(2017), pp. 92-106. [10.1016/j.csi.2016.08.009] | 1-gen-2017 | BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + | paper.pdf; 1-s2.0-S092054891630071X-main.pdf |
| DynNav: Toward Open and Interoperable Navigation Services / Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.. - In: IT PROFESSIONAL. - ISSN 1520-9202. - STAMPA. - 18:2(2016), pp. 35-41. [10.1109/MITP.2016.20] | 1-gen-2016 | Bettassa Copet, P.RISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + | IT_ITPro-2014-03-0027.R2_Bettassa.pdf; 16ITPro-Dynnav-published.pdf |