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

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

[IEEE Comput. Soc Ninth Great Lakes Symposium on VLSI - Ypsilanti, MI, USA (4-6 March 1999)] Proceedings Ninth Great Lakes Symposium on VLSI - A hierarchical approach to the formal verification of embedded systems using MDGs [microcontrollers]

[IEEE Comput. Soc Ninth Great Lakes Symposium on VLSI - Ypsilanti, MI, USA (4-6 March 1999)] Proceedings Ninth Great Lakes Symposium on VLSI - A hierarchical approach to the formal verification of embedded systems using MDGs [microcontrollers]

Balakrishnan, S.; Tahar, S.

作者Balakrishnan, S.; Tahar, S.
文件大小26.95KB
发表时间1999
DOI10.1109/glsv.1999.757434
页码284-287

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