发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Validating quality attribute requirements via execution-based model checking

Validating quality attribute requirements via execution-based model checking

Doron Drusinsky; Man-Tak Shing

作者Doron Drusinsky; Man-Tak Shing
卷第42卷
期第7期
印刷ISSN0038-0644
电子ISSN1097-024X
文件大小5455.79KB
发表时间2012
DOI10.1002/spe.1152

← 返回【学霸图书馆】主页