Control Explicit---Data Symbolic Model Checking: An Introduction

Jiri Barnat Petr Bauch

Published in: CoRR (2013)

Keyphrases

data sets
data structure
data analysis
raw data
data mining techniques
data mining
artificial intelligence
computational complexity
learning process
control system