Safety-Critical Real-Time Systems
Published on 30. September 1997
Book
Hardback
IV, 90 pages
978-0-7923-8022-1 (ISBN)
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.
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
More details
Edition
Reprinted from REAL-TIME SYSTEMS, 13:3, 1997
Language
English
Place of publication
New York
United States
Target group
College/higher education
Professional and scholarly
Research
Illustrations
IV, 90 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 11 mm
Weight
325 gr
ISBN-13
978-0-7923-8022-1 (9780792380221)
DOI
10.1007/978-1-4757-6463-5
Schweitzer Classification
Other editions
Additional editions
Bernd Krämer | Norbert Völker
Safety-Critical Real-Time Systems
E-Book
06/2013
Springer
€96.29
Available for download
Bernd Krämer | Norbert Völker
Safety-Critical Real-Time Systems
Book
12/2010
Springer
€106.99
Shipment within 15-20 days
Content
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.- A Highly Dependable Computing Architecture for Safety-Critical Control Applications.- The ProCoS Approach to Correct Systems.- Building Large, Complex, Distributed Safety-Critical Operating Systems.- Contributing Authors.