Login / Signup
Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models.
Kent Inge Fagerland Simonsen
Lars Michael Kristensen
Published in:
MOMPES (2012)
Keyphrases
</>
efficient implementation
coloured petri nets
complex systems
process model
model checking
statistical models
protocol specification
face recognition
statistical model
distributed databases
real time
test bed
parametric models
model construction
face verification
tcp ip
modelling language
data sets