Compositional interaction specifications for SystemC.

Frederic Doucet Ingolf Krüger Rajesh K. Gupta R. K. Shyamasundar

Published in: MEMOCODE (2006)

Keyphrases

human computer interaction
high level
user interaction
relational databases
data sets
decision trees
data structure
formal specification
human interaction
interaction patterns