IRIS
RicercaInizia una nuova ricerca

NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.

cerca in
Risultati 11 - 15 di 15 (tempo di esecuzione: 0.057 secondi).
Titolo Data di pubblicazione Autore(i) File
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers 1-gen-2022 Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gome, Claudio; Grazian, Pierluigi; Palmier, Maurizio; Temperini, Marco; Venture, Gentiane
Summary of the 5th International Workshop on Automated Andverifiable Software SYstem DEvelopment (ASYDE) Co-Located with the 38th IEEE/ACM ASE 2023 1-gen-2024 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Thematic Series on Automated and Verifiable Internet Services and Applications Development 1-gen-2022 Autili, Marco; Arbab, Farhad; Ciccozzi, Federico; Giannakopoulou, Dimitra; Poizat, Pascal; Tivoli, Massimo
Thematic Series on Service Composition for the Future Internet 1-gen-2016 Autili, Marco; Tivoli, Massimo; Goldman, Alfredo
Thematic series on Verification and Composition for the Internet of Services and Things 1-gen-2018 Autili, Marco; Giannakopoulou, Dimitra; Tivoli, Massimo
Risultati 11 - 15 di 15 (tempo di esecuzione: 0.057 secondi).
↑ Back to top
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

Aggiungere filtri:  
Aggiungi
Opzioni
Scopri
Tipologia
  • 7 Curatele 15
  • 7 Curatele::7.1 Curatela 15
Autore
  • TIVOLI, MASSIMO 10
  • CICCOZZI, FEDERICO 4
  • BUCAIONI, ALESSIO 3
  • BERARDINELLI, LUCA 1
  • FILIPPONE, GIANLUCA 1
  • GALLO, FRANCESCO 1
  • MUCCINI, HENRY 1
  • POMPILIO, CLAUDIO 1
  • SCOCCIA, GIAN LUCA 1
Data di pubblicazione
  • 2024 1
  • 2023 1
  • 2022 3
  • 2020 1
  • 2019 1
  • 2018 1
  • 2017 1
  • 2016 2
  • 2015 3
  • 2014 1
Editore
  • Springer 3
  • ACM 1
  • IEEE Computer Society Conference ... 1
  • Institute of Electrical and Elect... 1
  • Institute of Electrical and Elect... 1
  • Springer-Verlag Berlin Heidelberg 1
Rivista
  • JOURNAL OF INTERNET SERVICES AND ... 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • JOURNAL OF INTERNET SERVICES AND ... 1
  • SOFTWARE ENGINEERING NOTES 1
Serie
  • LECTURE NOTES IN COMPUTER SCIENCE 2
  • CEUR WORKSHOP PROCEEDINGS 1
  • LECTURE NOTES IN COMPUTER SCIENCE 1
Keyword
  • Computer Networks and Communications 3
  • Computer Science Applications1707... 2
  • Reliability and Quality 1
  • Risk 1
  • Safety 1
  • Software 1
Lingua
  • eng 8
Accesso al fulltext
  • no fulltext 15