FORMAL METHODS FOR DESIGN

被引：0
|
作者：
MUSGRAVE, G
机构：
来源：
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY | 1992年 / 12卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：710 / 710
页数：1
相关论文
共 50 条
  • [1] Formal methods in embedded design
    Johnson, SD
    COMPUTER, 2003, 36 (11) : 104 - 106
  • [2] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    Formal Methods in System Design, 2022, 61 : 1 - 2
  • [3] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [4] The Future of Formal Methods and GALS Design
    Stevens, Kenneth S.
    Gebhardt, Daniel
    You, Junbok
    Xu, Yang
    Vij, Vikas
    Das, Shomit
    Desai, Krishnaji
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 245 : 115 - 134
  • [5] Formal specification methods in engineering design
    Boriani, DV
    ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
  • [6] Formal Methods in System Design: Foreword
    Formal Methods Syst Des, 2006, 2 (115-116):
  • [7] Formal methods in computer system design
    Hoare, C.A.R.
    Computer Physics Communications, 1989, 57 (1-3): : 206 - 210
  • [8] FORMAL METHODS IN COMMUNICATION PROTOCOL DESIGN
    VONBOCHMANN, G
    SUNSHINE, CA
    IEEE TRANSACTIONS ON COMMUNICATIONS, 1980, 28 (04) : 624 - 631
  • [9] FORMAL DESIGN METHODS FOR COMPUTER-AIDED-DESIGN
    GERO, JS
    FORMAL DESIGN METHODS FOR CAD, 1994, 18 : 353 - 359
  • [10] Formal Methods in System Design: Editorial note
    Mery, Dominique
    Sanders, Beverly
    2002, Kluwer Academic Publishers (20)
12345