Statechart semantics

The following sections describe the object-oriented interpretation of statecharts.

Feedback