Formal methods in embedded design

被引：6
|
作者：
Johnson, SD [1 ]
机构：
[1] Indiana Univ, Coll Arts & Sci, Bloomington, IN 47405 USA
来源：
COMPUTER | 2003年 / 36卷 / 11期
关键词：
D O I：
10.1109/MC.2003.1244539
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：104 / 106
页数：3
相关论文
共 50 条
  • [1] Towards usage of formal methods within embedded systems co-design
    Gomes, Luis
    Barros, Joao Paulo
    Costa, Aniko
    Pais, Rui
    Moutinho, Filipe
    [J]. ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, 2005, : 281 - 284
  • [2] FORMAL METHODS FOR DESIGN
    MUSGRAVE, G
    [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 710 - 710
  • [3] Formal models for embedded system design
    Sgroi, M
    Lavagno, L
    Sangiovanni-Vincentelli, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2000, 17 (02): : 14 - 27
  • [4] Invisible formal methods for embedded control systems
    Tiwari, A
    Shankar, N
    Rushby, J
    [J]. PROCEEDINGS OF THE IEEE, 2003, 91 (01) : 29 - 39
  • [5] Formal methods for analysis of heterogeneous models of embedded systems
    Nadjm-Tehrani, S
    [J]. PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2000, : 141 - 146
  • [6] Formal Methods in Designing Embedded Systems—the SACRES Experience
    Klaus Winkelmann
    [J]. Formal Methods in System Design, 2001, 19 : 81 - 110
  • [7] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
    Marieke Huisman
    Corina S. Păsăreanu
    Naijun Zhan
    [J]. Formal Methods in System Design, 2022, 61 : 1 - 2
  • [8] Preface for the formal methods in system design special issue on 'Formal Methods 2021'
    Huisman, Marieke
    Pasareanu, Corina S.
    Zhan, Naijun
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2022, 61 (01) : 1 - 2
  • [9] The Future of Formal Methods and GALS Design
    Stevens, Kenneth S.
    Gebhardt, Daniel
    You, Junbok
    Xu, Yang
    Vij, Vikas
    Das, Shomit
    Desai, Krishnaji
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 245 : 115 - 134
  • [10] Formal specification methods in engineering design
    Boriani, DV
    [J]. ISA TRANSACTIONS, 1997, 36 (02) : 123 - 129
12345