Enhancing the control and efficiency of the covering process [logic verification].

Shai Fine Avi Ziv

Published in: HLDVT (2003)

Keyphrases

database
logic programming
data mining
control system
design process
process model
model checking
optimal control
process control