Safety-Critical Real-Time Systems
Published on 3. December 2010
Book
Paperback/Softback
IV, 90 pages
978-1-4419-5019-2 (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
Softcover reprint of the original 1st ed. 1997
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Illustrations
IV, 90 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 6 mm
Weight
166 gr
ISBN-13
978-1-4419-5019-2 (9781441950192)
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
09/1997
Kluwer Academic Publishers
€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.