Formal methods

被引:0
|
作者
Lowe, M
机构
关键词
D O I
10.1109/CSMR.1997.583002
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:43 / 43
页数:1
相关论文
共 50 条
  • [1] Formal methods and dependability
    Jones, CB
    [J]. MATHEMATICS OF PROGRAM CONSTRUCTION, 2000, 1837 : 140 - 143
  • [2] Formal methods and cryptography
    Backes, Michael
    Pfitzmann, Birgit
    Waidner, Michael
    [J]. FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 612 - 616
  • [3] Formal Methods: An Appetizer
    Michaelson, Greg
    [J]. FORMAL ASPECTS OF COMPUTING, 2022, 34 (02)
  • [4] Applicable formal methods
    Cooke, J
    [J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (03) : 259 - 259
  • [5] Formal systems, not methods
    Loomes, M
    Christianson, B
    Davey, N
    [J]. TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64
  • [6] RETHINKING FORMAL METHODS
    Pike, Lee
    [J]. COMPUTER, 2010, 43 (03) : 6 - 6
  • [7] Applicable Formal Methods
    Leuschel, M
    [J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 91 - 92
  • [8] Functional formal methods
    Moore, JS
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (09) : 123 - 123
  • [9] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [10] TEACH FORMAL METHODS
    CUADRADO, J
    [J]. BYTE, 1994, 19 (12): : 292 - 292