A Verification Method for Temporal Consistency of Service Flow.

Rujuan Liu Guilan Dai Changjun Hu Chongchong Zhao

Published in: COMPSAC (2008)

Keyphrases

temporal consistency
verification method
model checking
temporally consistent
temporal logic
temporal constraints
processing speed
flow field
input image