Solutions to problem no. 2
Part of the Lecture Notes in Computer Science book series (LNCS, volume 207)
KeywordsLive State Temporal Logic Active Node Transition Diagram Connection Request
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- [H]Harel D. — Statecharts: A Visual Tool for the Design and Specification of Complex Systems — Weizmann Institute, Nov. 1983.Google Scholar
© Springer-Verlag Berlin Heidelberg 1985