Introductory paper

被引：0
|
作者：
Jaco van de Pol
机构：
[1] Centrum voor Wiskunde en Informatica,Dept. of Software Engineering
来源：
International Journal on Software Tools for Technology Transfer | 2004年 / 5卷 / 2-3期
关键词：
Model Check; Formal Method; Smart Card; Constraint Logic Programming; Model Check Tool;
D O I：
10.1007/s10009-003-0138-1
中图分类号：
学科分类号：
摘要：
This section is based on selected papers from the 6th and 7th ERCIM workshops on Formal Methods in Industrial Critical Systems. These papers either extend the state of the art in model checking and automatic test generation or they address the methodology for applying tools based on formal methods. Also, some important experiences are reported from industrial cases in which formal methods have been applied.
引用
收藏
页码：105 / 106
页数：1
相关论文
共 50 条
  • [1] Introductory paper
    Iyer S.P.
    Hislop D.
    Jones P.L.
    Lee J.
    Pearce F.
    Van Albert S.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 5 (4) : 299 - 300
  • [2] Introductory paper
    Luboš Brim
    Orna Grumberg
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (1) : 1 - 3
  • [3] Introductory paper
    Andy Schürr
    Heiko Dörr
    [J]. Software & Systems Modeling, 2005, 4 (2) : 109 - 111
  • [4] Introductory paper
    Tronci E.
    [J]. International Journal on Software Tools for Technology Transfer, 2006, 8 (4-5) : 355 - 358
  • [5] Introductory paper
    Paolo Bottoni
    Mark Minas
    [J]. Software & Systems Modeling, 2004, 3 (2) : 83 - 84
  • [6] The Introductory Paper
    Glebov, E. M.
    Razumov, V. F.
    [J]. HIGH ENERGY CHEMISTRY, 2023, 57 (SUPPL 3) : S385 - S385
  • [7] Introductory Paper
    E. M. Glebov
    V. F. Razumov
    [J]. High Energy Chemistry, 2023, 57 : S385 - S385
  • [8] Introductory paper
    Dwyer M.
    Leue S.
    [J]. International Journal on Software Tools for Technology Transfer, 2004, 6 (4) : 257 - 259
  • [9] Introductory paper
    Thomas Arts
    Jaco van de Pol
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (3) : 195 - 196
  • [10] Introductory paper
    Margaria T.
    [J]. International Journal on Software Tools for Technology Transfer, 2005, 7 (4) : 293 - 296
12345