海量图书期刊资源,随时随地畅享阅读乐趣
[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Towards a formally verified network-on-chipvan den Broek, Tom; Schmaltz, Julien · 2009