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.
5th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2023) at 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023)
2023-01-01 Autili, M.; Bucaioni, A.; Filippone, G.; Fotrousi, F.; Saddem, R.; Scoccia, G. L.
IEEE First International Workshop on Service Orchestration and Choreography for the Future Internet (OrChor 2014) - IEEE 10th World Congress on Services
2014-01-01 Autili, Marco; Goldman, A; Tivoli, Massimo
Message from Chairs: MOBILESoft 2017
2017-01-01 Muccini, Henry; Grundy, John; Halfond, William G. J.; Buhnova, Barbora; Autili, Marco
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) - ASYDE 2022 Organizers' Message
2022-01-01 Autili, Marco; Berardinelli, Luca; Bucaioni, Alessio; Pompilio, Claudio
Proceedings of the IEEE World Congress on Services, Visionary Track on Service Composition for the Future Internet (SCFI 2015)
2015-01-01 Autili, Marco; Goldman, Alfredo; Tivoli, Massimo
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2019)
2019-01-01 Arbab, Farhad; Autili, Marco; Ciccozzi, Federico; Poizat, Pascal; Tivoli, Massimo
Proceedings of the International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2020) - LNCS
2020-01-01 Autili, M.; Ciccozzi, F.; Gallo, F.; Sirjani, M.
Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)
2016-01-01 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)
2015-01-01 Autili, Marco; Goldman, A; Tivoli, Massimo
Proceedings of the Projects Showcase, part of the Software Technologies: Applications and Foundations 2015 federation of conferences (STAF 2015)
2015-01-01 Autili, Marco; Ritter, T; Sadovykh, A; Tivoli, Massimo
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
Opzioni
Scopri
Tipologia
- 7 Curatele 15
- 7 Curatele::7.1 Curatela 15
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