Publication | Closed Access

A comparison of Statecharts step semantics

Formal SemanticsEngineeringAutomated ReasoningStatecharts Step SemanticsFormal MethodsComputer ScienceSemanticsSemantic WebAction LanguageComputational SemanticsData Modeling