Mots-clés
functional model
behavioural model
kahn process network
computation refinement
communication refinement
fixed-point refinement
systemc
embedded hardware
Tout plus