The Leading eBooks Store Online 4,034,055 members ⚫ 1,328,001 ebooks

New to

Learn more

Real-time Systems

Modeling, Design And Applications

Real-time Systems by Dan Ionescu
Buy this eBook
US$ 194.00 US$ 176.54
(If any tax is payable it will be calculated and shown at checkout.)
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.
World Scientific Publishing Company; January 2007
503 pages; ISBN 9789814492355
Read online, or download in secure PDF format
Title: Real-time Systems
Author: Dan Ionescu; Aurel Cornell