BETTASSA COPET, PIERGIUSEPPE

BETTASSA COPET, PIERGIUSEPPE  

021517  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Citazione Data di pubblicazione Autori File
Formal Verification of LTE-UMTS Handover Procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - STAMPA. - (2015), pp. 738-744. (Intervento presentato al convegno 20th IEEE Symposium on Computers and Communications (ISCC) tenutosi a Larnaca, Cyprus nel 6-9 July 2015) [10.1109/ISCC.2015.7405602]. 1-gen-2015 BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + 1570084757_author_postprint.pdf
Automated Formal Verification of Application-specific Security Properties / BETTASSA COPET, Piergiuseppe; Sisto, Riccardo. - STAMPA. - 8364:(2014), pp. 45-59. (Intervento presentato al convegno Engineering Secure Software and Systems (ESSOS) tenutosi a Munich, Germany nel 26-28/2/2014) [10.1007/978-3-319-04897-0_4]. 1-gen-2014 BETTASSA COPET, PIERGIUSEPPESISTO, Riccardo -
Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo. - ELETTRONICO. - (2012), pp. 1-8. (Intervento presentato al convegno 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012) tenutosi a Helsinki (SF) nel October 3-4, 2012) [10.1109/UPINLBS.2012.6409749]. 1-gen-2012 BETTASSA COPET, PIERGIUSEPPERISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + upinlbs2012_submission_13.pdf12UPINLBS-DynNav-published.pdf
Visual Model-Driven Design, Verification and Implementation of Security Protocols / BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro. - STAMPA. - (2012), pp. 62-65. (Intervento presentato al convegno 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) tenutosi a Omaha, Nebraska nel October 25-27, 2012) [10.1109/HASE.2012.23]. 1-gen-2012 BETTASSA COPET, PIERGIUSEPPEPIRONTI, ALFREDOPOZZA, DAVIDESISTO, RiccardoVIVOLI, PIETRO hase2012_porto.pdfVisual_model-driven_design_verification_and_implementation_of_security_protocols.pdf