VIVOLI, PIETRO
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.001 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.pdf; Visual_model-driven_design_verification_and_implementation_of_security_protocols.pdf |