A refinement theory for timed-dataflow analysis with support for reordering.

Joost P. H. M. Hausmans Marco Jan Gerrit Bekooij

Published in: EMSOFT (2016)

Keyphrases

data analysis
image analysis
databases
neural network
artificial intelligence
information systems
expert systems
statistical analysis
software systems
quantitative analysis