Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 16 a 20 di 20
Titolo Data di pubblicazione Autore(i) File
Safely Using the AUTOSAR End-to-End Protection Library 1-gen-2015 Arts, Thomas; Tonetta, Stefano
Tightening a Contract Refinement 1-gen-2016 Cimatti, Alessandro; Demasi, Ramiro Adrian; Tonetta, Stefano
TLSAssistant Goes FINSEC - A Security Platform Integration Extending Threat Intelligence Language 1-gen-2021 Manfredi, Salvatore; Ranise, Silvio; Sciarretta, Giada; Tomasi, Alessandro
Verification of Railway Interlocking - Compositional Approach with OCRA 1-gen-2016 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Mostrati risultati da 16 a 20 di 20
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile