Browsing by Subject "Z language"
Now showing items 1-1 of 1
(IEEE COMPUTER SOC, 2000-12-01)μ-Charts are a way of specifying reactive systems, i.e. systems which are in some environment to which they have to react, based on the well-established formalism Statecharts. This paper gives (very abbreviated) examples ...