Doron Drusinsky, Man-tak Shing. Validating quality attribute requirements via execution-based model checking. Software: Practice and Experience, 42(7):853-875, 2012. [doi]
No references recorded for this publication.
No citations of this publication recorded.