Modeling reactive systems with statecharts : the statemate approach
| Main Author: | Harel, David |
|---|---|
| Other Authors: | Politi, Michal |
| Language: | English |
| Published: |
New York:
McGraw-Hill,
1998.
|
| Subjects: |