2020 16th European Dependable Computing Conference (EDCC)
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 32)

H-INDEX

1
(FIVE YEARS 1)

Published By IEEE

9781728189369
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Explaining Boolean-Logic Driven Markov Processes using GSPNs

2020 ◽  
Author(s):  
Shahid Khan ◽  
Joost-Pieter Katoen ◽  
Marc Bouissou
Keyword(s):  
Markov Processes ◽  
Boolean Logic

Towards Efficacy Hypotheses for Safety Cases

2020 ◽  
Author(s):  
Mallory Suzanne Graydon
Keyword(s):  
Safety Cases

Developing Complex Data Structures over Partitioned State Machine Replication

2020 ◽  
Author(s):  
Mojtaba Eslahi-Kelorazi ◽  
Long Hoang Le ◽  
Fernando Pedone
Keyword(s):  
Data Structures ◽  
State Machine ◽  
Complex Data ◽  
State Machine Replication

SafeOps: A Concept of Continuous Safety

2020 ◽  
Author(s):  
Camille Fayollas ◽  
Hugues Bonnin ◽  
Olivier Flebus

An Availability Model for DSS and OLTP Applications in Virtualized Environments

2020 ◽  
Author(s):  
Matheus Torquato ◽  
Charles F. Goncalves ◽  
Marco Vieira
Keyword(s):  
Availability Model
Load More ...
Sign in / Sign up

Export Citation Format

Share Document