A Mulit-Event-One-Transition Plus Incremental Processing Protocol Verification Method.

Chung-Ming Huang Huei-Yang Lai Duen-Tay Huang

Published in: J. Inf. Sci. Eng. (1996)

Keyphrases

verification method
model checking
temporal logic
real time

data processing
incremental learning
stream processing

data driven
information processing
event detection

event processing
network protocols
low cost