My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Ireland
Trustpilot
Proud to be B-Corp

Safety-Critical Real-Time Systems Bernd Kramer

Safety-Critical Real-Time Systems By Bernd Kramer

Safety-Critical Real-Time Systems by Bernd Kramer

Reviews:
€130.19
Condition - New
Only 2 left
New

Summary

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 Summary

Safety-Critical Real-Time Systems by Bernd Kramer

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.

Table of Contents

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.

Additional information

NPB9780792380221
9780792380221
0792380223
Safety-Critical Real-Time Systems by Bernd Kramer
Bernd Kramer
New
Hardback
Springer
1997-09-30
90
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Safety-Critical Real-Time Systems