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

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

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