Real Time Systems: Theory and Applications - Conference Proceedings - Hardcover

Distributed real-time computing systems have become a fast growing area of research and development. This book is the result of a forum which brought together a number of practitioners and researchers in the field, from both industry and universities. The papers are wide-ranging, covering topics such as logic and semantics of distributed real-time computations, specification and the design of real-time systems and reliability issues for existing real-time systems. The main features of the book are: 1. Recent advances in the theory of real-time systems and computations 2. New developments in specification and design methodologies for real-time systems 3. Description of existing working real-time control systems.