Forced simulation: a formal approach to component based development of embedded systems

Authors:
Parthasarathi Roop
Affiliations:
-
Venue:
Forced simulation: a formal approach to component based development of embedded systems
Year:
2001

Citing 0
Cited 2

A formal approach to component based development of synchronous programs

Proceedings of the 2001 Asia and South Pacific Design Automation Conference
Justification based on program transformation

LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation

Quantified Score

Hi-index	0.00

Visualization

Abstract