Derivation of formal representations from process-based specification and implementation models

Proceedings of the International Symposium on System Synthesis

Volumn , Issue , 1997, Pages 16-23

  Vercauteren, Steven ^a   Verkest, Diederik ^a   de Jong, Gjalt ^a   Lin, Bill ^a  

^a IMEC   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AMPLITUDE MODULATION; MATHEMATICAL MODELS; MODEMS; PETRI NETS;

LANGUAGE LEVEL CONSTRUCTS; QUADRATURE AMPLITUDE MODULATION (QAM) MODEM DESIGNS;

COMPUTER ARCHITECTURE;

EID: 0030716658     PISSN: 10801820     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)