Found 1 document(s)
Page 1 of 1
-
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, c...
