Special issue: 2nd World Congress on Formal Methods

被引：0
|
作者：
Cavalcanti, Ana [1 ]
Dams, Dennis [2 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5GH, N Yorkshire, England
[2] Bell Labs Alcatel Lucent, B-2018 Antwerp, Belgium
来源：
FORMAL METHODS IN SYSTEM DESIGN | 2010年 / 37卷 / 2-3期
关键词：
D O I：
10.1007/s10703-011-0113-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：93 / 94
页数：2
相关论文
共 50 条
  • [41] THE 2ND WORLD CONGRESS ON EXPERT-SYSTEMS
    LIEBOWITZ, J
    [J]. IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1994, 9 (02): : 62 - 62
  • [42] SPECIAL ISSUE - PLENARY LECTURES OF THE 2ND INTERNATIONAL-CONGRESS OF THE CELL TRANSPLANT SOCIETY - INTRODUCTION
    GORES, PF
    [J]. CELL TRANSPLANTATION, 1995, 4 (04) : 353 - 353
  • [43] 2nd Special issue on matrix computations and statistics
    Barlow, JL
    Park, H
    Groenen, PJF
    Zha, HY
    [J]. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2006, 50 (01) : 1 - 4
  • [44] INTRODUCTION TO THE 2ND SPECIAL ISSUE ON PRIMARY PREVENTION
    GOODYEAR, RK
    SHAW, MC
    [J]. PERSONNEL AND GUIDANCE JOURNAL, 1984, 62 (09): : 507 - 508
  • [45] 2ND EURO SUMMER INSTITUTE SPECIAL ISSUE
    BRANS, JP
    DESPONTIN, M
    VINCKE, P
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1986, 26 (01) : 1 - 5
  • [46] SPECIAL ISSUE ON THE 2ND BENELUX COLLOQUIUM, UTRECHT
    JUNGERIUS, PD
    [J]. EARTH SURFACE PROCESSES AND LANDFORMS, 1981, 6 (3-4) : 213 - 213
  • [47] The 2nd world integrative medicine congress(wimco) 2nd announcement: call for abstract
    [J]. Chinese Journal of Integrated Traditional and Western Medicine, 2002, 8 (1): : 78 - 80
  • [48] Special Issue 2nd Symposium on Biodegradable Metals
    Witte, Frank
    Mantovani, Diego
    [J]. MATERIALS SCIENCE AND ENGINEERING B-ADVANCED FUNCTIONAL SOLID-STATE MATERIALS, 2011, 176 (20): : 1595 - 1595
  • [49] 2nd Special issue on Functional Data Analysis
    Ferraty, Frederic
    Kneip, Alois
    Kokoszka, Piotr
    Petersen, Alexander
    [J]. ECONOMETRICS AND STATISTICS, 2022, 21 : 112 - 113
  • [50] The 2nd special issue on advances in mixture models
    Boehning, Dankmar
    Hennig, Christian
    McLachlan, Geoffrey J.
    McNicholas, Paul D.
    [J]. COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2014, 71 : 1 - 2
12345