SPECIAL ISSUE ON DESIGN AND VERIFICATION OF COMPLEX DIGITAL SYSTEMS Preface

被引:0
|
作者
Lopez, Sebastian
机构
关键词
D O I
10.1016/j.micpro.2011.11.002
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:657 / 658
页数:2
相关论文
共 50 条
  • [1] Special issue on complex systems design and management Preface
    Aiguier, Marc
    [J]. CONCURRENT ENGINEERING-RESEARCH AND APPLICATIONS, 2012, 20 (02): : 83 - 83
  • [2] SPECIAL ISSUE ON DIGITAL DESIGN VERIFICATION
    EVEKING, H
    [J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1986, 133 (05): : 241 - 241
  • [3] Preface to the special issue on Numerical Software: Design, Analysis and Verification
    Gil, Amparo
    Muller, Jean-Michel
    Segura, Javier
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2014, 90 : 1 - 1
  • [4] Preface to Special Issue on Software Verification
    Hoare, C. A. R.
    Misra, Jayadev
    [J]. ACM COMPUTING SURVEYS, 2009, 41 (04)
  • [5] Special issue:: Synthesis and verification -: Preface
    Edwards, M
    Józwiak, L
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 485 - 487
  • [7] Advances in modelling of complex systems: Preface to the special issue
    Gelenbe, E
    [J]. RAIRO-OPERATIONS RESEARCH, 2004, 38 (02): : 85 - 88
  • [8] Preface of the special issue on computational complexity and complex systems
    Perez-Jimenez, Mario J.
    Zandron, Claudio
    Sosik, Petr
    Orellana-Martin, David
    [J]. JOURNAL OF MEMBRANE COMPUTING, 2023, 5 (03) : 190 - 192
  • [9] Preface of the special issue on computational complexity and complex systems
    Mario J. Pérez-Jiménez
    Claudio Zandron
    Petr Sosík
    David Orellana-Martín
    [J]. Journal of Membrane Computing, 2023, 5 : 190 - 192
  • [10] Special issue on scaling concepts and complex systems - Preface
    Mallamace, F
    Quintana, J
    [J]. JOURNAL OF PHYSICS-CONDENSED MATTER, 2002, 14 (09)