Login / Signup
Verification of the Class of Stop-and-Wait Protocols Modelled by Coloured Petri Nets.
Jonathan Billington
Guy Edward Gallasch
Laure Petrucci
Published in:
Nord. J. Comput. (2005)
Keyphrases
</>
coloured petri nets
formal verification
real time
data sets
cryptographic protocols
neural network
model checking
multi class classification