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

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540550921, 9783540466925

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stepwise development of model-oriented real-time specifications from action/event models

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

10.1007/3-540-55092-5_30 ◽

1992 ◽

pp. 547-570 ◽

Author(s):

Hans Toetenel ◽

Jan Katwijk

Keyword(s):

Real Time ◽

Action Event ◽

Stepwise Development ◽

Download Full-text

Real-timed concurrent refineable behaviours

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

10.1007/3-540-55092-5_29 ◽

1992 ◽

pp. 529-545 ◽

Author(s):

David Murphy ◽

David Pitt

Download Full-text

Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems

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

10.1007/3-540-55092-5_13 ◽

1992 ◽

pp. 237-257 ◽

Author(s):

John Rushby

Keyword(s):

Control Systems ◽

Flight Control ◽

Formal Specification ◽

Recovery Model ◽

Formal Specification And Verification ◽

Fault Masking ◽

Specification And Verification

Download Full-text

Duration specifications for shared processors

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

10.1007/3-540-55092-5_2 ◽

1992 ◽

pp. 21-32 ◽

Author(s):

Zhou Chaochen ◽

Michael R. Hansen ◽

Anders P. Ravn ◽

Hans Rischel

Download Full-text

Formal specification of fault tolerant real time systems using minimal 3-sorted modal logic

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

10.1007/3-540-55092-5_31 ◽

1992 ◽

pp. 571-590 ◽

Author(s):

Peter Coesmans ◽

Martin J. Wieczorek

Keyword(s):

Modal Logic ◽

Real Time ◽

Formal Specification ◽

Fault Tolerant ◽

Real Time Systems ◽

Download Full-text

Mechanical verification of a generalized protocol for Byzantine fault tolerant clock synchronization

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

10.1007/3-540-55092-5_12 ◽

1992 ◽

pp. 217-236 ◽

Author(s):

Natarajan Shankar

Keyword(s):

Fault Tolerant ◽

Clock Synchronization ◽

Mechanical Verification ◽

Byzantine Fault

Download Full-text

Broadcast communication for real-time processes

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

10.1007/3-540-55092-5_9 ◽

1992 ◽

pp. 149-169 ◽

Author(s):

Jim Davies ◽

Dave Jackson ◽

Steve Schneider

Keyword(s):

Real Time ◽

Broadcast Communication

Download Full-text

RLucid, a general real-time dataflow language

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

10.1007/3-540-55092-5_20 ◽

1992 ◽

pp. 363-374 ◽

Author(s):

John A. Plaice

Keyword(s):

Download Full-text

TAM: A formal framework for the development of distributed real-time systems

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

10.1007/3-540-55092-5_23 ◽

1992 ◽

pp. 411-428 ◽

Author(s):

D. J. Scholefield ◽

H. S. M. Zedan

Keyword(s):

Real Time ◽

Real Time Systems ◽

Formal Framework ◽

Download Full-text

Modelling real-time behavior with an interval time calculus

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

10.1007/3-540-55092-5_4 ◽

1992 ◽

pp. 53-71 ◽

Author(s):

Mats Daniels

Keyword(s):

Real Time ◽

Time Behavior ◽

Download Full-text