Protocol Trace Analysis Based on Formal Specifications.

Myungchul Kim Samuel T. Chanson Son T. Vuong

Published in: FORTE (1991)

Keyphrases

formal specification
formal analysis
database
cooperative
data analysis
distributed systems
building blocks
protocol specification