Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation.
Doron Drusinsky, Man-tak Shing
VenueCRSP
Year2007
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/DrusinskyS07 ↗
Browse the full RSP paper archive.