SPECIAL SECTION ON THE ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CODESIGN (MEMOCODE) 2009

被引：0

作者：

Bloem, Roderick ^{[1
]}

Schaumont, Patrick ^{[2
]}

机构：

[1] Graz Univ Technol, Inst Appl Informat Proc & Commun, A-8010 Graz, Austria

[2] Virginia Polytech Inst & State Univ, Blacksburg, VA 24061 USA

来源：

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2010年 / 29卷 / 10期

关键词：

D O I：

10.1109/TCAD.2010.2060170

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1457 / 1458

页数：2

共 50 条

[31] Introduction to the Special Issue on the 2009 IEEE International Solid-State Circuits Conference
Gutnik, Vadim
Klemmer, Nikolaus
Wang, Zhihua
Green, Michael
Thewes, Roland
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2009, 44 (12) : 3227 - 3231
[32] TIM Special Section on the IEEE International Workshop on Robotic and Sensors Environments (ROSE 2009)
Alippi, Cesare
Payeur, Pierre
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2011, 60 (02) : 334 - 335
[33] Special Section on Formal Methods in Manufacturing
Campos, Javier
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 125 - 126
[34] Special Section on “Leveraging Formal Methods”
Tiziana Margaria
Bernhard Steffen
International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 467 - 469
[35] Special Section on the IEEE Virtual Reality Conference (VR)
Kiyokawa, Kiyoshi
Klinker, Gudrun
Lok, Benjamin
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2011, 17 (09) : 1193 - 1194
[36] Introduction to the Special Section on the 2018 IEEE BCICTS Conference
Shahramian, Shahriar
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2019, 54 (09) : 2359 - 2360
[37] Introduction to the Special Section on the 2019 IEEE BCICTS Conference
Wang, Hua
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2020, 55 (09) : 2299 - 2300
[38] Preface to the 27th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS)
Egyed, Alexander
Wimmer, Manuel
Chechik, Marsha
Combemale, Benoit
Proceedings - MODELS 2024: ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024,
[39] Preface to the 24th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MoDELS)
Nejati, Shiva
Varró, Dániel
Hu, Zhenjiang
Kishi, Tomoji
Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021, 2021,
[40] Preface to the 25th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS)
Bencomo, Nelly
Wimmer, Manuel
Syriani, Eugene
Sahraoui, Houari
Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, 2022,

← 1 2 3 4 5 →