Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540410553, 9783540453529
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Invariant-Based Synthesis of Fault-Tolerant Systems

2000 ◽  
pp. 46-57 ◽  
Author(s):  
K. Lano ◽  
David Clark ◽  
K. Androutsopoulos ◽  
P. Kan
Keyword(s):  
Fault Tolerant ◽  
Fault Tolerant Systems

Reliability Modelling of Time-Critical Distributed Systems

2000 ◽  
pp. 94-105 ◽  
Author(s):  
Hans Hansson ◽  
Christer Norström ◽  
Sasikumar Punnekkat
Keyword(s):  
Distributed Systems ◽  
Reliability Modelling ◽  
Time Critical

Scaling up Uppaal

2000 ◽  
pp. 19-30 ◽  
Author(s):  
Henrik Ejersbo Jensen ◽  
Kim Guldstrand Larsen ◽  
Arne Skou
Keyword(s):  
Scaling Up

Verifying Universal Properties of Parameterized Networks

2000 ◽  
pp. 291-303 ◽  
Author(s):  
Kai Baukus ◽  
Yassine Lakhnech ◽  
Karsten Stahl
Keyword(s):  
Universal Properties
Load More ...
Sign in / Sign up

Export Citation Format

Share Document