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

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

[ACM Press the 14th Workshop - Portland, Oregon, USA (2014.10.21-2014.10.21)] Proceedings of the 14th Workshop on Domain-Specific Modeling - DSM '14 - A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation

[ACM Press the 14th Workshop - Portland, Oregon, USA (2014.10.21-2014.10.21)] Proceedings of the 14th Workshop on Domain-Specific Modeling - DSM '14 - A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation

Zhang, Kun; Sprinkle, Jonathan

作者Zhang, Kun; Sprinkle, Jonathan
文件大小1409.63KB
发表时间2014
DOI10.1145/2688447.2688448
页码1-6

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