𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the eighth IEEE/ACM/IFIP international conference - Tampere, Finland (2012.10.07-2012.10.12)] Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis - CODES+ISSS '12 - The system verification methodology for advanced TLM verification

✍ Scribed by Oliveira, Marcio F.S.; Kuznik, Christoph; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Mueller, Wolfgang; Drechsler, Rolf; Ecker, Wolfgang; Esen, Volkan


Book ID
121082814
Publisher
ACM Press
Year
2012
Weight
501 KB
Category
Article
ISBN
1450314260

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[ACM Press the 1st IEEE/ACM/IFIP interna
✍ Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L. 📂 Article 📅 2003 🏛 ACM Press 🌐 English ⚖ 122 KB

Includes Bibliographical References And Index. Also Available On The World Wide Web Via Acm Digital Library With Title: Proceedings Of The 1st Ieee/acm/ifip International Conference On Hardware/software Codesign & System Synthesis.

[ACM Press the 1st IEEE/ACM/IFIP interna
✍ Carloni, Luca P.; Sangiovanni-Vincentelli, Alberto L. 📂 Article 📅 2003 🏛 ACM Press 🌐 English ⚖ 122 KB

Includes Bibliographical References And Index. Also Available On The World Wide Web Via Acm Digital Library With Title: Proceedings Of The 1st Ieee/acm/ifip International Conference On Hardware/software Codesign & System Synthesis.

[ACM Press the 1st IEEE/ACM/IFIP interna
✍ Kohout, Paul; Ganesh, Brinda; Jacob, Bruce 📂 Article 📅 2003 🏛 Institute Of Electrical & Electronics Enginee 🌐 English ⚖ 437 KB

Includes Bibliographical References And Index. Also Available On The World Wide Web Via Acm Digital Library With Title: Proceedings Of The 1st Ieee/acm/ifip International Conference On Hardware/software Codesign & System Synthesis.