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

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

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Towards a Generic Verification Methodology for System Models

Wille, Robert; Gogolla, Martin; Soeken, Mathias; Kuhlmann, Mirco; Drechsler, Rolf

作者Wille, Robert; Gogolla, Martin; Soeken, Mathias; Kuhlmann, Mirco; Drechsler, Rolf
文件大小162.31KB
发表时间2013
DOI10.7873/DATE.2013.248
页码1193-1196