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 条
  • [41] Guest Editorial: Scale Space and Variational Methods
    Jan Lellmann
    Jan Modersitzki
    Journal of Mathematical Imaging and Vision, 2021, 63 : 131 - 132
  • [42] 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
  • [43] Guest Editorial: Regularisation Methods in Regression and Classification
    Gerhard Tutz
    Statistics and Computing, 2010, 20 : 117 - 118
  • [44] Guest Editorial: Scale Space and Variational Methods
    Arjan Kuijper
    Tom Pock
    Kristian Bredies
    Horst Bischof
    Journal of Mathematical Imaging and Vision, 2015, 52 : 1 - 2
  • [45] Guest Editorial: Scale Space and Variational Methods
    Kuijper, Arjan
    Pock, Tom
    Bredies, Kristian
    Bischof, Horst
    JOURNAL OF MATHEMATICAL IMAGING AND VISION, 2015, 52 (01) : 1 - 2
  • [46] Guest Editorial: Workshop on Bayesian Econometric Methods
    Strachan, Rodney
    REVIEW OF ECONOMIC ANALYSIS, 2010, 2 (02): : 135 - +
  • [47] Guest Editorial: Regularisation Methods in Regression and Classification
    Tutz, Gerhard
    STATISTICS AND COMPUTING, 2010, 20 (02) : 117 - 118
  • [48] Guest Editorial: Scale Space and Variational Methods
    François Lauze
    Yiqiu Dong
    Anders Bjorholm Dahl
    Journal of Mathematical Imaging and Vision, 2018, 60 : 1367 - 1368
  • [49] Formal Methods in System Design: Editorial note
    Mery, Dominique
    Sanders, Beverly
    2002, Kluwer Academic Publishers (20)
  • [50] Formal methods: practical applications and foundations Editorial
    ter Beek, Maurice H.
    McIver, Annabelle
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 58 (1-2) : 1 - 4
12345