颁布单位：[University of Waterloo] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Electrical, and, Computer, Engineering]

预览  |  原文链接    [浏览：4 下载：5]

颁布单位：[University of Waterloo] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Electrical, and, Computer, Engineering]

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

颁布单位：[University of Waterloo] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Electrical, and, Computer, Engineering]

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

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

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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

颁布单位：[Massachusetts Institute of Technol... |  颁布时间：2011 |  实施时间： |  学科分类：[Electrical, Engineering, and, Computer, Science.]

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