Formal Model and Analysis of Sliding Window Protocol Based on NuSMV.

Yefei Zhao Zongyuan Yang Jinkui Xie Qiang Liu

Published in: J. Comput. (2009)

Keyphrases

sliding window
formal model
data streams
fixed size
security properties
data sets
stream data