Visual Modeling and Analysis with Application to IEEE 802.6 DQDB Protocol.

Bharat T. Doshi Albert A. Fredericks

Published in: Comput. Networks ISDN Syst. (1990)

Keyphrases

formal analysis
visual features
lightweight
statistical modeling
database
high level
data analysis
image analysis
petri net
visual information
concurrency control
comprehensive analysis