Logo

Modeling Reactive Systems with Statecharts

Large book cover: Modeling Reactive Systems with Statecharts

Modeling Reactive Systems with Statecharts
by

Publisher: McGraw-Hill
ISBN/ASIN: 0070262055
ISBN-13: 9780070262058
Number of pages: 258

Description:
The book provides a detailed description of a set of languages for modelling reactive systems, which underlies the STATEMATE toolset. The approach is dominated by the language of Statecharts, used to describe behavior, combined Activity-charts for describing activities and the data that flows between them.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Mathematics For Engineering StudentsMathematics For Engineering Students
by - D. Van Nostrand Company
Much that is ordinarily included in treatises on Analytics and Calculus, has been omitted from this book, not because it was regarded as worthless, but because it was considered quite unnecessary for the student of engineering.
(7713 views)
Book cover: Geothermal Energy: Delivering on the Global PotentialGeothermal Energy: Delivering on the Global Potential
by - MDPI AG
After decades of being largely the preserve of countries in volcanic regions, the use of geothermal energy is now expanding worldwide. This reflects its excellent low-carbon credentials and its ability to offer baseload and dispatchable output.
(1083 views)
Book cover: Engineering Statistics HandbookEngineering Statistics Handbook
- NIST/SEMATECH
The goal of this handbook is to help scientists and engineers incorporate statistical methods in their work as efficiently as possible. Many parts of the book feature case studies or examples with computations from the free downloadable software.
(8541 views)
Book cover: Mathematical Methods of Engineering AnalysisMathematical Methods of Engineering Analysis
by
This text covers general notions regarding sets, functions, sequences, and series; metric spaces, convergence, continuity, approximations; functions on metric spaces; differential and integral equations; convex analysis; measure and integration.
(10177 views)