A graph rewriting framework for Statecharts semantics (Q4645270)
From MaRDI portal
scientific article; zbMATH DE number 6999573
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A graph rewriting framework for Statecharts semantics |
scientific article; zbMATH DE number 6999573 |
Statements
A graph rewriting framework for Statecharts semantics (English)
0 references
10 January 2019
0 references
external world
0 references
transition production
0 references
maximal step
0 references
dynamic semantic
0 references
standard step
0 references
