Model matching for finite-state machines.

Maria Domenica Di Benedetto Alberto L. Sangiovanni-Vincentelli Tiziano Villa

Published in: IEEE Trans. Autom. Control. (2001)

Keyphrases

finite state machines
computational model
experimental data
probability distribution
cost function
probabilistic model
management system
mathematical model
formal model
database
data sets
similarity measure
feature points
conceptual model