Real-Time Systems Modeling, Design, and Applications AMAST Series in Computing: Volume 8

ISBN 10: 981024424X / ISBN 13: 9789810244248

Published by World Scientific Publishing Company, 2007

About this Item

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Seller Inventory # ABNR-168534

Bibliographic Details

• Title: Real-Time Systems Modeling, Design, and Applications AMAST Series in Computing: Volume 8
• Publisher: World Scientific Publishing Company
• Publication Date: 2007
• Language: English
• ISBN 10: 981024424X
• ISBN 13: 9789810244248
• Binding: Hardcover
• Condition: New

About this title

Synopsis

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 systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners' secrets.