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

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

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Translation Validation for Stateflow to C

[ACM Press the The 51st Annual Design Automation Conference - San Francisco, CA, USA (2014.06.01-2014.06.05)] Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference - DAC '14 - Translation Validation for Stateflow to C

Sampath, Prahladavaradan; Rajeev, A. C.; Ramesh, S.

作者Sampath, Prahladavaradan; Rajeev, A. C.; Ramesh, S.
文件大小289.88KB
发表时间2014
DOI10.1145/2593069.2593237
页码1-6

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