Dependable Computing EDCC-4 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540000129, 9783540360803
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Dependability Evaluation Method for TTP/C Based Systems

2002 ◽  
pp. 271-282 ◽  
Author(s):  
Pavel Herout ◽  
Stanislav Racek ◽  
Jan Hlavička
Keyword(s):  
Evaluation Method ◽  
Model Based ◽  
Dependability Evaluation

Wrapping Real-time Systems from Temporal Logic Specifications

2002 ◽  
pp. 253-270 ◽  
Author(s):  
Manuel Rodrίguez ◽  
Jean-Charles Fabre ◽  
Jean Arlat
Keyword(s):  
Real Time ◽  
Temporal Logic ◽  
Real Time Systems ◽  
Time Systems

UMLinux - A Versatile SWIFI Tool

2002 ◽  
pp. 159-171 ◽  
Author(s):  
Volkmar Sieh ◽  
Kerstin Buchacker

Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol

2002 ◽  
pp. 140-158 ◽  
Author(s):  
Kaustubh R. Joshi ◽  
Michel Cukier ◽  
William H. Sanders
Keyword(s):  
Experimental Evaluation ◽  
Group Membership

scholarly journals Novel Approaches in Dependable Computing

2002 ◽  
pp. 79-80 ◽  
Author(s):  
Rogério de Lemos
Keyword(s):  
Novel Approaches ◽  
Dependable Computing

scholarly journals Probabilistic Queries in Large-Scale Networks

2002 ◽  
pp. 209-226
Author(s):  
Fernando Pedone ◽  
Nelson L. Duarte ◽  
Mario Goulart
Keyword(s):  
Large Scale ◽  
Probabilistic Queries ◽  
Large Scale Networks

scholarly journals Solving Agreement Problems with Weak Ordering Oracles

2002 ◽  
pp. 44-61 ◽  
Author(s):  
Fernando Pedone ◽  
André Schiper ◽  
Péter Urbán ◽  
David Cavin
Keyword(s):  
Weak Ordering
Load More ...
Sign in / Sign up

Export Citation Format

Share Document