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

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

[IEEE IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings - Winnipeg, Man., Canada (12-15 May 2002)] IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373) - Formal modelling of the ADSP-2100 processor using HOL

[IEEE IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings - Winnipeg, Man., Canada (12-15 May 2002)] IEEE CCECE2002. Canadian Conference on Electrical and Computer Engineering. Conference Proceedings (Cat. No.02CH37373) - Formal modelling of the ADSP-2100 processor using HOL

Habibi, A.; Tahar, S.; Ghazel, A.

作者Habibi, A.; Tahar, S.; Ghazel, A.
文件大小474.23KB
发表时间2002
DOI10.1109/ccece.2002.1013012
页码614-619

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