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 1 - 10 di 16 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autore(i) File
CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering 1-gen-2013 Kruchten, P; Giannakopoulou, D; Tivoli, Massimo
Editorial to theme issue on model-driven engineering of component-based software systems 1-gen-2019 Ciccozzi, Federico; Carlson, Jan; Pelliccione, Patrizio; Tivoli, Massimo
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services 1-gen-2014 Autili, Marco; Goldman, A; Tivoli, Massimo
ModComp’14, Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 29, 2014, Vol. 1281, urn:nbn:de:0074-1281-7, http://ceur-ws.org/Vol-1281/ 1-gen-2014 Ciccozzi, F; Tivoli, Massimo; Carlson, J.
Preface 1-gen-2007 Becker, S; Canal, C; Diakiv, N; Murillo, J. M.; Poizat, P; Tivoli, Massimo
Proceedings 14th international workshop on foundations of coordination languages and self-adaptive systems – Preface 1-gen-2015 Proença, José; Tivoli, Massimo
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015) 1-gen-2015 Autili, Marco; Goldman, Alfredo; Tivoli, Massimo
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019) 1-gen-2019 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016) 1-gen-2016 Autili, Marco; Bersani, Marcello; Bresolin, Davide; Ferrucci, Luca; Garcia-Valls, Marisol; Mazzara, Manuel; Tivoli, Massimo
Proceedings of the International Workshop on the "ART" of Software Composition and Formal Verification (VERY*SCART 2015) 1-gen-2015 Autili, Marco; Goldman, A; Tivoli, Massimo
Risultati 1 - 10 di 16 (tempo di esecuzione: 0.046 secondi).
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 16
  • 7 Curatele::7.1 Curatela 16
Autore
  • AUTILI, MARCO 10
  • CICCOZZI, FEDERICO 3
  • PELLICCIONE, PATRIZIO 1
Data di pubblicazione
  • 2020 - 2024 2
  • 2010 - 2019 12
  • 2007 - 2009 2
Editore
  • Elsevier 2
  • Springer 2
  • ACM 1
  • ACM Digital Library 1
  • IEEE Computer Society Conference ... 1
  • Institute of Electrical and Elect... 1
  • Open Publishing Association 1
  • Springer Verlag 1
  • Springer-Verlag Berlin Heidelberg 1
Rivista
  • ELECTRONIC NOTES IN THEORETICAL C... 2
  • JOURNAL OF INTERNET SERVICES AND ... 2
  • ELECTRONIC PROCEEDINGS IN THEORET... 1
  • JOURNAL OF INTERNET SERVICES AND ... 1
  • SOFTWARE AND SYSTEMS MODELING 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 2
  • Computer Science Applications1707... 2
  • Software 2
  • Modeling and Simulation 1
Lingua
  • eng 10
Accesso al fulltext
  • no fulltext 16