Statecharts

David Harel, '. A. V. F. f. C. S. (1987). Statecharts: A Visual Formalism for Complex Systems.

Type

Unclassified

Intellectual base

Unclassified

Year

1987

Link

no authoritative link yet

Cited by

1 citation across 1 artifact.

Domain-specific

• Virtual finite-state machine
  • Conceptual control-software identity only; machine deployment requires hazard analysis, verified timing and qualified engineering.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:d3cfed2805c9 · see in the full table