A Tagging Protocol for Asynchronous Testing.

Published in: TASE (2011)

Keyphrases

state machines
lightweight
coloured petri nets
metadata
test cases
software testing
tcp ip
cryptographic protocols
databases
neural network
security protocols
asynchronous circuits