Real-time systems : modeling, design, and applications /
Other Authors: | |
---|---|
Format: | Book |
Language: | English |
Published: |
Singapore ; Hackensack, NJ :
World Scientific,
©2007.
|
Series: | AMAST series in computing ;
vol. 8 |
Subjects: | |
Online Access: | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=203876 |
Table of Contents:
- Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems.