IRIS

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 41 a 46 di 46
Titolo Data di pubblicazione Autore(i) File
Testing Equivalence vs. Runtime Monitoring 1-gen-2019 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking 1-gen-2015 Eras, Eduardo Rohde; Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Trustworthy Global Computing 1-gen-2014 Maffei, Matteo; Tuosto, Emilio
Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping 1-gen-2021 De Sousa Matsumura, Gabriel; Dos Santos, Luciana Brasil Rebelo; Conceição, Arlindo Flavio Da; Vijaykumar, Nandamudi Lankalapalli
Weaving Open Services with Runtime Models for Continuous Smart Cities KPIs Assessment 1-gen-2021 DE SANCTIS, Martina; Iovino, Ludovico; Rossi, MARIA TERESA; Wimmer, Manuel
Web Services and Formal Methods 1-gen-2014 Tuosto, Emilio; Ouyang, Chun
Mostrati risultati da 41 a 46 di 46
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