Protocol Modeling with Model Program Composition.

Margus Veanes Wolfram Schulte

Published in: FORTE (2008)

Keyphrases

computational model
modeling method
probabilistic model
mathematical model
network model
data sets
management system
colored petri nets
prior knowledge
supply chain