Guest Editorial - Integrated Formal Methods

被引：0
|
作者：
Boiten, E
Derrick, J
Smith, G
机构：
来源：
FORMAL ASPECTS OF COMPUTING | 2005年 / 17卷 / 04期
关键词：
D O I：
10.1007/s00165-005-0078-5
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：389 / 389
页数：1
相关论文
共 50 条
  • [21] Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
    Ter Beek, Maurice H.
    Loreti, Michele
    ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (02):
  • [22] Editorial: Formal methods and testing
    Hierons, R
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2002, 12 (02): : 69 - 70
  • [23] FORMAL METHODS IN COMPUTING - EDITORIAL
    WICHMANN, B
    COMPUTER JOURNAL, 1989, 32 (05): : 385 - 385
  • [24] Integrated Manufacturing Systems: Guest editorial
    Huang, George
    Mak, K.L.
    Jiang, P.Y.
    2002, Emerald (13):
  • [25] Integrated Manufacturing Systems: Guest editorial
    Yusuf, Y.Y.
    Integrated Manufacturing Systems, 2003, 14 (06):
  • [26] Integrated Manufacturing Systems: Guest editorial
    Gertsen, Frank
    Riis, Jens O.
    Integrated Manufacturing Systems, 2002, 13 (03): : 129 - 130
  • [27] Integrated Manufacturing Systems: Guest editorial
    McIvor, Ronan
    Integrated Manufacturing Systems, 2002, 13 (08):
  • [28] Guest Editorial: Energy Optimization Methods
    Yuri Boykov
    Fredrik Kahl
    Victor Lempitsky
    Frank R. Schmidt
    International Journal of Computer Vision, 2013, 104 : 221 - 222
  • [29] Guest Editorial: Energy Optimization Methods
    Boykov, Yuri
    Kahl, Fredrik
    Lempitsky, Victor
    Schmidt, Frank R.
    INTERNATIONAL JOURNAL OF COMPUTER VISION, 2013, 104 (03) : 221 - 222
  • [30] Integrated Circuits for Biomedical Applications [Guest Editorial]
    Rabaey J.M.
    Hall D.A.
    IEEE Solid-State Circuits Magazine, 2023, 15 (02): : 25 - 26
12345