Formal methods: Tools for VHDL introduced to Europe

被引：0
|
作者：
Mann, D
机构：
来源：
ELECTRONIC ENGINEERING | 1997年 / 69卷 / 845期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：21 / 21
页数：1
相关论文
共 50 条
  • [1] Major threat: From formal methods without tools to tools without formal methods
    Steffen, B
    NINTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS: NAVIGATING COMPLEXITY IN THE E-ENGINEERING AGE, 2004, : 15 - 15
  • [2] Formal methods Europe update
    Fitzgerald, J
    FORMAL ASPECTS OF COMPUTING, 2004, 16 (01) : 2 - 3
  • [3] Methods and tools for formal software engineering
    Liu, Zhiming
    Venkatesh, R.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 31 - +
  • [4] Formal tools and methods of Artificial Intelligence
    Bouraoui, Zied
    Wilczynski, Anaelle
    AI COMMUNICATIONS, 2024, 37 (03) : 263 - 264
  • [5] Distributed cooperative formal methods tools
    Goguen, J
    Lin, K
    Mori, A
    Rosu, G
    Sato, A
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 55 - 62
  • [6] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
  • [7] Formal methods and tools for industrial critical systems
    Lafuente, Alberto Lluch
    Mavridou, Anastasia
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2022, 24 (06) : 973 - 976
  • [8] Tools and education towards formal methods practice
    Meyer, JJC
    FORMAL APPROACHES TO AGENT-BASED SYSTEMS, 2003, 2699 : 274 - 279
  • [9] On Applicability of Formal Methods and Tools to Dependable Services
    Ishikawa, Fuyuki
    Honiden, Shinichi
    IEICE TRANSACTIONS ON COMMUNICATIONS, 2009, E92B (01) : 9 - 16
  • [10] The IFAD VDM tools:: Lightweight formal methods
    Agerholm, S
    Larsen, PG
    APPLIED FORMAL METHODS - FM-TRENDS 98, 1999, 1641 : 326 - 329
12345