Cover Image
Read Now

101
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Among Strangers -- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library...”
Cover Image
Read Now

102
Published 2011
Springer Berlin Heidelberg
“...) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving...”
Cover Image
Read Now

103
Published 2019
Springer International Publishing
“..., access control, availability, integrity, privacy, confidentiality, dependability and sustainability...”
Cover Image
Read Now

104
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Distributed Control Systems: The Quasi-Synchronous Approach -- Dependability Evaluation From Functional...”
Cover Image
Read Now

105
Published 2022
Springer International Publishing
“... reviewed and selected from 15 submissions. They present most recent research on dependability, reliability...”
Cover Image
Read Now

106
Published 2010
Springer London
Table of Contents: “...Domain Engineering -- Program Verification and System Dependability -- The Abstract State Machines...”
Cover Image
Read Now

107
Published 2018
Springer International Publishing
“..., with appreciation to scale, pragmatism, transparency, compliance and/or dependability...”
Cover Image
Read Now

108
Published 2022
Springer International Publishing
Table of Contents: “... and Occupancy Map Prediction for Robot Autonomous Exploration -- Service Dependability and Security Algorithms...”
Cover Image
Read Now

109
Published 2022
Springer International Publishing
Table of Contents: “... Cooperation -- Service Dependability and Security Algorithms -- SensorData Normalization among Heterogeneous...”
Cover Image
Read Now

110
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Hardware -- Dependability -- Component-Based Abstraction in Fault Tree Analysis -- A Foundation...”
Cover Image
Read Now

111
Published 2012
Springer London
Table of Contents: “...Foreword -- Preface.- Assessing Dependability for Mobile and Ubiquitous Systems: is there a Role...”
Cover Image
Read Now

112
Published 2018
Springer International Publishing
Table of Contents: “... and variants -- Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties...”
Cover Image
Read Now

113
Published 2016
Springer International Publishing
Table of Contents: “... -- Dependability of Adaptable and Evolvable Distributed Systems -- Mean-Field Limits Beyond Ordinary Differential...”
Cover Image
Read Now

114
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... -- The Application of Dependence Analysis to Software Architecture Descriptions -- Validating Distributed Object...”
Cover Image
Read Now

115
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... tools -- Software testing for dependability assessment...”
Cover Image
Read Now

116
Published 2009
Springer Berlin Heidelberg
Table of Contents: “...Software Requirements and Design -- The Future of Software: Adaptation and Dependability...”
Cover Image
Read Now

117
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-simulation in the Development of Dependable Embedded Systems -- Programming with Miracles -- An Event-B...”
Cover Image
Read Now

118
Published 2017
Springer International Publishing
“... of improving software and system dependability...”
Cover Image
Read Now

119
Published 2020
Springer International Publishing
“... kind and their combination, with the ultimate goal of improving software and system dependability...”
Cover Image
Read Now

120
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Networks Dependability -- New VoIP Traffic Security Scheme with Digital Watermarking -- Towards Filtering...”