Publication | Closed Access
A compositional axiomatization of Statecharts
50
Citations
17
References
1992
Year
Compositional AxiomatizationEngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal SystemHigher-order LogicSemanticsFinite-state System
| Year | Citations | |
|---|---|---|
Page 1
Page 1