Andrea Bondavalli – författare

Visar alla böcker från författaren Andrea Bondavalli. Handla med fri frakt och snabb leverans.

13 produkter

Computer Safety, Reliability, and Security
43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings
Av Andrea Ceccarelli, Mario Trapp m. fl.
Häftad, 2024
727 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024.The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have …
Computer Safety, Reliability, and Security
43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings
Av Friedemann Bitsch, Andrea Bondavalli m. fl.
E-bok, 2024
897 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full papers included in this volume were carefully reviewed and selected from 80 submissions. They have …
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops
DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
Av Andrea Ceccarelli, Mario Trapp m. fl.
Häftad, 2024
893 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and …
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops
DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
Av Friedemann Bitsch, Barbara Gallina m. fl.
E-bok, 2024
1141 kr
Lägg i varukorg
This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and …
Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Av Andrea Bondavalli, Felicita Di Giandomenico
Häftad, 2014
561 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and …
Computer Safety, Reliability, and Security
33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings
Av Felicita Di Giandomenico, Andrea Bondavalli
E-bok, 2014
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 33nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2014, held in Florence, Italy, in September 2014. The 20 revised full papers presented together with 3 practical experience reports were carefully reviewed and …
Computer Safety, Reliability, and Security
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Av Andrea Bondavalli, Andrea Ceccarelli m. fl.
Häftad, 2014
561 kr
Lägg i varukorg
This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and …
Computer Safety, Reliability, and Security
SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings
Av Frank Ortmeier, Andrea Ceccarelli m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of 6 workshops co-located with SAFECOMP 2014, the 33rd International Conference on Computer Safety, Reliability, and Security, held in Florence, Italy, in September 2014. The 32 revised full and 10 short papers presented were carefully reviewed and …
Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Av Andrea Bondavalli, Sara Bouchenak m. fl.
Häftad, 2016
561 kr
Lägg i varukorg
This book is open access under a CC BY 4.0 license.Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems temporarily collaborating to achieve a well-defined objective – form the backbone of most of today’s infrastructure. The energy grid, most …
Dependable Computing
Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Av Andrea Bondavalli, Francisco Brasileiro m. fl.
Häftad, 2007
562 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the Third Latin-American Symposium on Dependable Computing, LADC 2007, held in Morelia, Mexico, in September 2007. The papers are organized in topical sections on fault-tolerant algorithms, software engineering of dependable systems, networking and …
Dependable Computing
Third Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
Av Sergio Rajsbaum, Francisco Brasileiro m. fl.
E-bok, 2007
755 kr
Lägg i varukorg
Certifications of Critical Systems – The CECRIS Experience
The Cecris Experience
Av Andrea Bondavalli, Francesco Brancati
Häftad, 2024
549 kr
Lägg i varukorg
In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a …
Certifications of Critical Systems – The CECRIS Experience
Av Andrea Bondavalli, Francesco Brancati
Inbunden, 2017
1243 kr
Lägg i varukorg
In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a …