颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Health, sciences, Environmental, science, Social, sciences, Texas, Environmental, studies, Sustainability]

预览  |  原文链接    [浏览：7 下载：1]

颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Multithreading, Concurrent, programming, Scheduling, Computer, engineering, Computer, science]

预览  |  原文链接    [浏览：6 下载：1]

颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]

预览  |  原文链接    [浏览：10 下载：0]