Real-time systems : modeling, design, and applications /

Other Authors: Ionescu, Dan.
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.