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

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

[ACM Press the 2019 - Tysons Corner, VA, USA (2019.05.09-2019.05.11)] Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI '19 - Automatic Extraction of Requirements from State-based Hardware Designs for Runtime Verification

[ACM Press the 2019 - Tysons Corner, VA, USA (2019.05.09-2019.05.11)] Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI '19 - Automatic Extraction of Requirements from State-based Hardware Designs for Runtime Verification

Seo, Minjun; Lysecky, Roman

作者Seo, Minjun; Lysecky, Roman
文件大小766.94KB
发表时间2019
DOI10.1145/3299874.3318021
页码295-298

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