Safety-Critical Real-Time Systems

Safety-Critical Real-Time Systems

Edited by  , Edited by 

Free delivery worldwide

Available. Dispatched from the UK in 4 business days
When will my order arrive?

Description

Safety-Critical Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area.
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
show more

Product details

  • Hardback | 90 pages
  • 160.02 x 236.22 x 12.7mm | 294.83g
  • Dordrecht, Netherlands
  • English
  • Reprinted from REAL-TIME SYSTEMS, 13:3, 1997
  • IV, 90 p.
  • 0792380223
  • 9780792380221

Table of contents

Editorial; B. Kramer. A Systematic Approach to the Petri net Based Specification of Concurrent Systems; A. Mazzeo, et al. A Highly Dependable Computing Architecture for Safety-Critical Control Applications; B. Kramer, N. Voelker. The ProCoS Approach to Correct Systems; H. Langmaack. Building large, Complex, Distributed Safety-Critical Operating Systems; H.F. Wedde, J.A. Lind.
show more