Protocol Analysis Using a Timed Version of SDL.

Falko Bause Peter Buchholz

Published in: FORTE (1990)

Keyphrases

petri net
quantitative analysis
real time
cooperative
data sets
e learning
knowledge base
website
image sequences
data analysis
statistical analysis
formal analysis