Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...to Dependability Metrics -- to Dependability Metrics -- I Foundations -- On Metrics...”
Cover Image
Read Now

2
Published 2009
Springer US
Table of Contents: “...Foundations of Security and Dependability -- Security and Dependability Engineering -- Security...”
Cover Image
Read Now

3
by Wolf, Marko
Published 2009
Vieweg+Teubner Verlag
“... are becoming software-driven, digitally networked and interactive IT systems, dependable security measures...”
Cover Image
Read Now

4
Published 2012
Springer Berlin Heidelberg
Cover Image
Read Now

5
by Bernardi, Simona, Merseguer, José, Petriu, Dorina Corina
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...1 Dependability Assessment and Software Life-cycle -- 2 Dependability Concepts -- 3 Software models...”
Cover Image
Read Now

6
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A...”
Cover Image
Read Now

7
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...1. Dependable Service-Oriented Architectures -- A System of Architectural Patterns for Scalable...”
Cover Image
Read Now

8
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... and Dependable Service-Oriented Embedded Systems -- Architecting Robustness and Timeliness in a New Generation...”
Cover Image
Read Now

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... for Microgrid Control Applications -- Architecting Dependable and Secure Systems Using Virtualization -- 2...”
Cover Image
Read Now

10
by Sitnikovski, Boro
Published 2023
Apress
“...Dependent types are a concept that allows developers to write proof-carrying code. Idris is a...”
Cover Image
Read Now

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Surveys -- Dependable Software -- Dependable Systems -- Survey on Dependable IP over Fiber Networks...”
Cover Image
Read Now

12
Published 2021
Springer International Publishing
Table of Contents: “... and risk management -- Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds...”
Cover Image
Read Now

13
Published 2024
Springer Nature Switzerland
“...This book constitutes the refereed proceedings of Workshops held at the 19th European Dependable...”
Cover Image
Read Now

14
Published 2022
Springer International Publishing
“...This book constitutes refereed proceedings of the Workshops of the 18th European Dependable...”
Cover Image
Read Now

15
Published 2020
Springer International Publishing
Table of Contents: “... for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI...”
Cover Image
Read Now

16
Published 2018
Springer International Publishing
“...This book constitutes the proceedings of the Third International Symposium on Dependable Software...”
Cover Image
Read Now

17
Published 2016
Springer International Publishing
Table of Contents: “...Dependable Cyber-Physical Systems -- From Finitely Many Simulations to Flowpipes -- Toward...”
Cover Image
Read Now

18
Published 2015
Springer International Publishing
“...This book constitutes the refereed proceedings of the First International Symposium on Dependable...”
Cover Image
Read Now

19
Published 2017
Springer International Publishing
“...This book constitutes the proceedings of the Third International Symposium on Dependable Software...”
Cover Image
Read Now

20
Published 2020
Springer International Publishing
“...This book constitutes the proceedings of the 6th International Symposium on Dependable Software...”