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

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

10.1007/3-540-45352-0_6 ◽

2000 ◽

pp. 46-57 ◽

Author(s):

K. Lano ◽

David Clark ◽

K. Androutsopoulos ◽

P. Kan

Keyword(s):

Fault Tolerant ◽

Fault Tolerant Systems

Download Full-text

Issues in the Refinement of Distributed Programs

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

10.1007/3-540-45352-0_2 ◽

2000 ◽

pp. 12-17

Author(s):

Yoram Moses

Keyword(s):

Distributed Programs

Download Full-text

Reliability Modelling of Time-Critical Distributed Systems

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

10.1007/3-540-45352-0_10 ◽

2000 ◽

pp. 94-105 ◽

Author(s):

Hans Hansson ◽

Christer Norström ◽

Sasikumar Punnekkat

Keyword(s):

Distributed Systems ◽

Reliability Modelling ◽

Download Full-text

Scaling up Uppaal

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

10.1007/3-540-45352-0_4 ◽

2000 ◽

pp. 19-30 ◽

Author(s):

Henrik Ejersbo Jensen ◽

Kim Guldstrand Larsen ◽

Arne Skou

Keyword(s):

Download Full-text

Real-Time Program Refinement Using Auxiliary Variables

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

10.1007/3-540-45352-0_15 ◽

2000 ◽

pp. 170-184 ◽

Author(s):

Ian Hayes

Keyword(s):

Real Time ◽

Auxiliary Variables

Download Full-text

Challenges in the Verification of Electronic Control Units

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

10.1007/3-540-45352-0_3 ◽

2000 ◽

pp. 18-18

Author(s):

Werner Damm

Keyword(s):

Electronic Control ◽

Download Full-text

Threshold and Bounded-Delay Voting in Critical Control Systems

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

10.1007/3-540-45352-0_8 ◽

2000 ◽

pp. 70-81 ◽

Author(s):

Paul Caspi ◽

Rym Salem

Keyword(s):

Control Systems ◽

Download Full-text

Compositional Verification of Synchronous Networks

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

10.1007/3-540-45352-0_18 ◽

2000 ◽

pp. 214-227 ◽

Author(s):

Leszek Holenderski

Keyword(s):

Compositional Verification

Download Full-text

Modeling Faults of Distributed, Reactive Systems

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

10.1007/3-540-45352-0_7 ◽

2000 ◽

pp. 58-69 ◽

Author(s):

Max Breitling

Keyword(s):

Reactive Systems

Download Full-text

Verifying Universal Properties of Parameterized Networks

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

10.1007/3-540-45352-0_24 ◽

2000 ◽

pp. 291-303 ◽

Author(s):

Kai Baukus ◽

Yassine Lakhnech ◽

Karsten Stahl

Keyword(s):

Universal Properties

Download Full-text