Modeling Reactive Systems with Statecharts
by D. Harel, M. Politi
Publisher: McGraw-Hill 1998
Number of pages: 258
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:
(multiple PDF files)
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.
by E. R. Latifee
This is a book for beginners in engineering drawing in any engineering. Contents: Review of Geometry; Classical Viewing; Dimensioning, Line Types and Other Views; Development of solids and Others; Lessons in AutoCAD; Sample Questions and Exercises.
by Steven J Cox - Rice University
We strive to speak the Matlab language free of syntactic error, to confidently translate English simulation and/or design questions, to identify the proper numerical method for the job, and to represent the solution in a visually striking way.
This is a shared appendix with tables for use in book on engineering, math and science. Topics: Integral Transforms; Mathematical Tables; Statistical Tables; Mechanical Engineering; Electrical and Electronic Engineering; Computer Engineering.