A Light-Weight Formalism for the Specification of Reactive Systems

Authors:
Peter Scholz
Affiliations:
-
Venue:
SOFSEM '96 Proceedings of the 23rd Seminar on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Year:
1996

Citing 0
Cited 1

Formal Verification and Hardware Design with Statecharts

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Quantified Score

Hi-index	0.00

Visualization

Abstract