Safety-Critical Real-Time Systems
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Springer US

9781441950192, 9781475764635

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Highly Dependable Computing Architecture for Safety-Critical Control Applications

Safety-Critical Real-Time Systems ◽

10.1007/978-1-4757-6463-5_2 ◽

1997 ◽

pp. 21-35 ◽

Cited By ~ 1

Author(s):

Bernd J. Krämer ◽

Norbert Völker

Keyword(s):

Control Applications ◽

Computing Architecture ◽

Safety Critical ◽

Dependable Computing

Download Full-text

The ProCoS Approach to Correct Systems

Safety-Critical Real-Time Systems ◽

10.1007/978-1-4757-6463-5_3 ◽

1997 ◽

pp. 37-59

Author(s):

Hans Langmaack

Download Full-text

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

Safety-Critical Real-Time Systems ◽

10.1007/978-1-4757-6463-5_1 ◽

1997 ◽

pp. 3-20 ◽

Cited By ~ 2

Author(s):

Antonino Mazzeo ◽

Nicola Mazzocca ◽

Stefano Russo ◽

Valeria Vittorini

Keyword(s):

Petri Net ◽

Systematic Approach ◽

Concurrent Systems

Download Full-text

Building Large, Complex, Distributed Safety-Critical Operating Systems

Safety-Critical Real-Time Systems ◽

10.1007/978-1-4757-6463-5_4 ◽

1997 ◽

pp. 61-86 ◽

Cited By ~ 2

Author(s):

Horst F. Wedde ◽

Jon A. Lind

Keyword(s):

Operating Systems ◽

Safety Critical ◽

Large Complex

Download Full-text