Formal Methods in System Design: Guest editorial

被引：0
|
作者：
Naval Research Laboratory, Washington, DC, United States [1 ]
不详 [2 ]
机构：
来源：
Formal Methods Syst Des | 2007年 / 1卷 / 1-3期
关键词：
D O I：
10.1007/s10703-006-0018-x
中图分类号：
学科分类号：
摘要：
No abstract available
引用
收藏
相关论文
共 50 条
  • [41] Preface for the formal methods in system design specialissue on 'FASE 2022'
    Johnsen, Einar Broch
    Wimmer, Manuel
    FORMAL METHODS IN SYSTEM DESIGN, 2024,
  • [42] Guest Editorial: Modeling and Simulation Methods for Analysis and Design of Advanced Energy Conversion Systems
    Wang, Xiaoyu
    Strunz, Kai
    Filizadeh, Shaahin
    Mahseredjian, Jean
    Wang, Liwei
    Faruque, Omar
    Bi, Tianshu
    Chen, Ying
    Zhang, Yi
    Ai, Qian
    Lu, Chao
    Liu, Feng
    Palensky, Peter
    Azad, Sahar
    Cheng, Yunzhi
    Kamwa, Innocent
    Freitas, Walmir
    Wang, Xiongfei
    Zhao, Haoran
    Monti, Antonello
    Chang, Gary
    Luo, Min
    Liserre, Marco
    Bongiorno, Massimo
    Messo, Tuomas
    Vazquez, Abner Ramirez
    Nasiri-Gheidari, Zahra
    Fan, Lingling
    Bonatto, Benedito Donizeti
    Chen, Christine
    IEEE TRANSACTIONS ON ENERGY CONVERSION, 2020, 35 (01) : 309 - 311
  • [43] Guest Editorial Special Issue on Design and Testing Methods of Power Electronics Components and Circuits
    Liu, Jinjun
    Ma, Ke
    IEEE JOURNAL OF EMERGING AND SELECTED TOPICS IN POWER ELECTRONICS, 2021, 9 (04) : 3845 - 3849
  • [44] Guest Editorial [Guest Editorial]
    Chang, Ching-Ray
    Lai, Chao Sung
    IEEE NANOTECHNOLOGY MAGAZINE, 2023, 17 (06) : 5 - 5
  • [45] Guest editorial: Adaptation methods for multimedia analysis
    Han, Yahong
    Yang, Yi
    NEUROCOMPUTING, 2016, 173 : 81 - 82
  • [46] Stochastic boundary element methods - Guest editorial
    Burczynski, T
    Cheng, AHD
    ENGINEERING ANALYSIS WITH BOUNDARY ELEMENTS, 1997, 19 (03) : 179 - 179
  • [47] Guest Editorial: Scale Space and Variational Methods
    Lellmann, Jan
    Modersitzki, Jan
    JOURNAL OF MATHEMATICAL IMAGING AND VISION, 2021, 63 (02) : 131 - 132
  • [48] Guest Editorial: Scale Space and Variational Methods
    Jan Lellmann
    Jan Modersitzki
    Journal of Mathematical Imaging and Vision, 2021, 63 : 131 - 132
  • [49] Guest Editorial: Scale Space and Variational Methods
    Lauze, Francois
    Dong, Yiqiu
    Dahl, Anders Bjorholm
    JOURNAL OF MATHEMATICAL IMAGING AND VISION, 2018, 60 (09) : 1367 - 1368
  • [50] Guest Editorial: Regularisation Methods in Regression and Classification
    Gerhard Tutz
    Statistics and Computing, 2010, 20 : 117 - 118
12345