Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi
Publisher: McGraw-Hill 1998
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.
Download or read it online for free here:
Download link
(multiple PDF files)
Similar books
Mathematics For Engineering Students
by Samuel Keller - 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)
by Samuel Keller - 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)
Geothermal Energy: Delivering on the Global Potential
by Paul L. Younger (ed.) - 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)
by Paul L. Younger (ed.) - 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)
Engineering 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)
- 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)
Mathematical Methods of Engineering Analysis
by Erhan Cinlar, Robert J. Vanderbei
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)
by Erhan Cinlar, Robert J. Vanderbei
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)