Description |
1 online resource (xxi, 480 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
AMAST series in computing ; vol. 8
|
|
AMAST series in computing ; vol. 8.
|
Bibliography |
Includes bibliographical references (pages 459-477) and index. |
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. |
Summary |
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general sys. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Real-time data processing.
|
|
Real-time data processing. |
Genre/Form |
Electronic books.
|
Added Author |
Ionescu, Dan.
|
|
Cornell, Aurel.
|
Other Form: |
Print version: Real-time systems. Singapore ; Hackensack, NJ : World Scientific, ©2007 9789810244248 981024424X (DLC) 2007278665 (OCoLC)144529416 |
ISBN |
9789812708472 (electronic book) |
|
9812708472 (electronic book) |
|
9789810244248 |
|
981024424X |
|