Protocol Techniques for Testing Radiotherapy Accelerators.

Kenneth J. Turner Qian Bing

Published in: FORTE (2002)

Keyphrases

lightweight
computing systems
lung cancer
security analysis
communication protocol
low cost
software testing
formal analysis
security protocols
coloured petri nets