Merkliste 
 1 Ergebnisse 
 
1

The SystemJ approach to system-level design:

, In: Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.,
Gruian, F. ; Roop, P. ; Salcic, Z.. - p. 149-158 , 2006