Statecharts: a visual formalism for complex systems
Statecharts: a visual formalism for complex systems is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: David Harel; Journal / source: Science of Computer Programming; Year: 1987.
| Authors | David Harel |
|---|---|
| Journal / source | Science of Computer Programming |
| Year | 1987 |
| Field | Formal Methods in Verification |
| Times cited | 6718 |
| Type | article |
| DOI / link | https://doi.org/10.1016/0167-6423(87)90035-9 |