Static analysis and automatic code synthesis of flexible FSM model.

Dohyung Kim Soonhoi Ha

Published in: ASP-DAC (2005)

Keyphrases

database
static analysis
high level
database systems
computational model
data sets
real world
conceptual model
dynamic analysis
neural network
source code
artificial intelligence
case study
probabilistic model
error rate