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.
Inhaltsverzeichnis
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.