A Comparison between Statecharts and State Transition Assertions

Authors:
Nancy A. Day
Affiliations:
-
Venue:
HOL'92 Proceedings of the IFIP TC10/WG10.2 Workshop on Higher Order Logic Theorem Proving and its Applications
Year:
1992

Citing 0
Cited 1

Statechart methodology for the design, validation, and synthesis of large scale asynchronous systems

ASYNC '96 Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract