Data decision diagrams for Promela systems analysis.

Vincent Beaudenon Emmanuelle Encrenaz Sami Taktak

Published in: Int. J. Softw. Tools Technol. Transf. (2010)

Keyphrases

data analysis
data sets
raw data
image data
complex systems
original data
database
learning algorithm
data structure
relational databases
data sources
data points
sufficient conditions
data objects
data compression