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] SPECIAL SECTION ON THE 2006 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT2006)
Ishii, Rokuya
Chakraborty, Chandan
Franquelo, Leopoldo G.
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2009, 56 (01) : 2 - +
[32] Special Section on Formal Methods in Manufacturing
Campos, Javier
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2010, 6 (02) : 125 - 126
[33] Special Section on “Leveraging Formal Methods”
Tiziana Margaria
Bernhard Steffen
International Journal on Software Tools for Technology Transfer, 2006, 8 (6) : 467 - 469
[34] Guest Editorial Special Section on 2023 IEEE International Instrumentation and Measurement Technology Conference
Donnell, Kristen M.
Niewczas, Pawel
Abou-Khousa, Mohamed
Gunawan, Teddy Surya
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2024, 73
[35] Introduction to the Special Section on the 2019 IEEE BCICTS Conference
Wang, Hua
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2020, 55 (09) : 2299 - 2300
[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] 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
[38] Guest editor's introduction to the special section on the 2009 international conference on program comprehension (ICPC 2009)
Koschke, Rainer
Marcus, Andrian
Gannod, Gerald C.
SOFTWARE QUALITY JOURNAL, 2011, 19 (01) : 3 - 4
[39] Special Section on 2018 IEEE International Conference on Computational Electromagnetics (ICCEM2018) Foreword
Sun, S.
Chen, J.
Li, M.
Sha, W. I.
IEEE JOURNAL ON MULTISCALE AND MULTIPHYSICS COMPUTATIONAL TECHNIQUES, 2018, 3 (03) : 2 - 2
[40] Introduction to the Special Section on the 2023 IEEE International Solid-State Circuits Conference (ISSCC)
Chen, Mike Shuo-Wei
Sathe, Visvesh S.
Alioto, Massimo
Seo, Jae-Sun
Shiga, Hidehiro
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 2024, 59 (01) : 4 - 7

← 1 2 3 4 5 →