Items related to THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT...
Synopsis
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this text.Each chapter, derived from papers presented at the all-invitation 1st AMAST International Workshop on Real-Time Systems (Iowa, 1993), is written by leaders in their field. The chapters form an intriguing mix of modeling, specification, verification, and implementation of "real" real-time systems. They cover untimed and timed systems, sequential, concurrent and embedded real-time processes, integrated models using state machines, temporal logic and algebraic data models, real-time CSP, verification tools, system design using temporal logic, symbolic checking of discrete time models, iterative symbolic approximation in timing verification and verification of audio protocols, timed full LOTOS and timed LOTOS extensions, LOTOS specification of telephone services and flight warning computers, and performance analysis.
"synopsis" may belong to another edition of this title.
From the Back Cover
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this book.
"About this title" may belong to another edition of this title.
- PublisherWorld Scientific Publishing Company
- Publication date1995
- ISBN 10 9810219237
- ISBN 13 9789810219239
- BindingHardcover
- LanguageEnglish
- Number of pages444
Search results for THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT...
Stock Image
THEORIES AND EXPERIENCES FOR REAL-TIME SYSTEM DEVELOPMENT (Amast Computing)
Published by
World Scientific Publishing Comp, 1995
ISBN 10: 9810219237
ISBN 13: 9789810219239
Used
Hardcover
Seller: suffolkbooks, Center moriches, NY, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Good. Fast Shipping - Safe and Secure 7 days a week! Seller Inventory # 3TWOWA002BJR
Quantity: 1 available
Stock Image
Theories and Experiences for Real-Time System Development
Published by
World Scientific Publishing Co Pte Ltd, 1994
ISBN 10: 9810219237
ISBN 13: 9789810219239
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-505-779
Quantity: 1 available