Compositional interaction specifications for SystemC

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695930 ◽

2006 ◽

Cited By ~ 1

Author(s):

F. Doucet ◽

I.H. Krueger ◽

R. Gupta ◽

R.K. Shyamasundar

Download Full-text