Formal Analysis of Streaming Downloading Protocol for System Upgrading.

Miaomiao Zhang Dang Van Hung

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

formal analysis
ban logic
payment protocol
real time
streaming data
agent model
data streams
formal methods
databases
web services
software engineering
business process
network security