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 条

[1] 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010: Message from the chairs
Schneider, Klaus
Jobstmann, Barbara
Carloni, Luca
Brandt, Jens
8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, 2010,
[2] Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Derler, Patricia
Schneider, Klaus
Talpin, Jean-Pierre
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (01)
[3] SPECIAL SECTION ON THE 2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (IEEE ICIT'09)
Ibrahim, Yousef
Chakraborty, Chandan
IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2011, 58 (02) : 374 - 375
[4] Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2009
Marculescu, Radu
Jantsch, Axel
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2010, 29 (06) : 853 - 854
[5] Special issue: International Conference on Formal Engineering Methods-ICFEM 2009
Cavalcanti, Ana
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (12) : 1211 - 1211
[6] Introduction to the Special Section on the Fifth IEEE International Nanoelectronics Conference (IEEE INEC)
Zhang, H.
Ng, G. I.
IEEE TRANSACTIONS ON NANOTECHNOLOGY, 2014, 13 (03) : 407 - 408
[7] Special Section on the IEEE International Conference on Microelectronic Test Structures
Mita, Yoshio
IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 2008, 21 (04) : 493 - 494
[8] SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods: Preface
Van Hung, Dang
Krishnan, Padmanabhan
SEFM - IEEE Int. Conf. Softw. Eng. Form. Methods, 2009, (viii):
[9] Special Section on 2019 IEEE International Conference on Automation Science and Engineering
Li, Jingshan
Shen, Weiming
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2021, 18 (01) : 216 - 217
[10] Special Section on the 2009 IEEE International Workshop on Medical Measurements and Applications
Grimaldi, Domenico
Rapuano, Sergio
IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2010, 59 (10) : 1 - 2

← 1 2 3 4 5 →