VIVOLI, PIETRO

VIVOLI, PIETRO  

028256  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Citazione Data di pubblicazione Autori File
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