A Framework for Verifying Data-Centric Protocols.

Yuxin Deng Stéphane Grumbach Jean-François Monin

Published in: FMOODS/FORTE (2011)

Keyphrases

data centric
pattern recognition
business processes
data sets
machine learning
relational databases
user interface
domain knowledge
software development
spatial data