Method of analysing extended finite-state machine specifications.
Behçet SarikayaVassilios N. KoukoulidisGregor von BochmannPublished in: Comput. Commun. (1990)
Keyphrases
- finite state machines
- synthetic data
- experimental evaluation
- cost function
- detection method
- support vector machine svm
- dynamic programming
- computational cost
- preprocessing
- evolutionary algorithm
- support vector machine
- similarity measure
- segmentation method
- cellular automata
- database
- relational databases
- integrity constraints
- neural network