Validating quality attribute requirements via execution-based model checking.
Doron Drusinsky, Man-tak Shing
VenueCRSP
Year2010
ProceedingsInternational Symposium on Rapid System Prototyping
DBLP recordconf/rsp/DrusinskyS10 ↗
Browse the full RSP paper archive.