Safety-Critical Real-Time Systems
- List Price: $169.00
- Binding: Hardcover
- Publisher: Kluwer Academic Pub
- Publish date: 09/01/1997
Description:
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.
Expand description
Please Wait