I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Compositional interaction specifications for SystemC:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Doucet, F. ; Krueger, I. H. ; Gupta, R.. - p. 201 ff. , 2006
Link: https://dl.acm.org/doi/10.1109/MEMCOD.2006.1695930