Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina | 006.3 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNISA-996465368803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci
| Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (226 pages) |
| Disciplina |
006.3
005.1 |
| Collana | Communications in Computer and Information Science |
| Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
| ISBN | 3-030-58462-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
| Record Nr. | UNINA-9910416078503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / / Paolo Masci [and four others], editors
| Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / / Paolo Masci [and four others], editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Artificial intelligence
Software engineering |
| ISBN | 3-031-26236-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence -- Co-Simulation -- Formal Methods -- Formal Modelling -- Verification and Validation -- High Confidence Systems -- Integrated Development Environment -- Interdisciplinary Foundations of Cognition -- Logics; Simulation; Software Engineering; System Engineering. |
| Record Nr. | UNINA-9910659487003321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / / Paolo Masci [and four others], editors
| Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, Cosim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers / / Paolo Masci [and four others], editors |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (424 pages) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Artificial intelligence
Software engineering |
| ISBN | 3-031-26236-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Artificial Intelligence -- Co-Simulation -- Formal Methods -- Formal Modelling -- Verification and Validation -- High Confidence Systems -- Integrated Development Environment -- Interdisciplinary Foundations of Cognition -- Logics; Simulation; Software Engineering; System Engineering. |
| Record Nr. | UNISA-996511870203316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||