| Description |
1 online resource (xxi, 480 pages) : illustrations |
| Series |
AMAST series in computing ; vol. 8 |
|
AMAST series in computing ; vol. 8.
|
| 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 |
| Bibliography |
Includes bibliographical references (pages 459-477) and index |
| Notes |
Print version record |
| Subject |
Real-time data processing.
|
|
COMPUTERS -- Data Processing.
|
|
Real-time data processing
|
| Form |
Electronic book
|
| Author |
Ionescu, Dan.
|
|
Cornell, Aurel.
|
| ISBN |
9789812708472 |
|
9812708472 |
|
