Formal Methods in System Design: Foreword

被引：0
|
作者：
机构：
来源：
Formal Methods Syst Des | 2006年 / 2卷 / 115-116期
关键词：
D O I：
10.1007/s10703-006-0010-5
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] From "formal methods" to system modeling
    Broy, Manfred
    Formal Methods and Hybrid Real-Time Systems, 2007, 4700 : 24 - 44
  • [32] Formal Approaches FOREWORD
    Tsuchiya, Tatsuhiro
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2018, E101D (06): : 1466 - 1466
  • [33] General Aviation Landing Assistance using Formal Methods-based System Design
    Pointner, Wolfgang
    Kotsis, Gabriele
    Naderhirn, Michael
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [34] Lessons from the application of formal methods to the design of a storm surge barrier control system
    Chaudron, M
    Tretmans, J
    Wijbrans, K
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1511 - 1526
  • [35] Lessons learned in the application of formal methods to the design of a storm surge barrier control system
    Goorden, Martijn
    Van de Mortel-Fronczak, Joanna
    van Eldik, Koen
    Fokkink, Wan
    Rooda, Jacobus
    IFAC PAPERSONLINE, 2022, 55 (28): : 93 - 99
  • [36] Using formal methods to design Measuring Systems
    Lukaszewski, Robert
    Winiecki, Wieslaw
    2005 IEEE INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS, 2005, : 349 - 354
  • [37] PROTOCOL DESIGN AND IMPLEMENTATION USING FORMAL METHODS
    VANSINDEREN, M
    PIRES, LF
    VISSERS, CA
    COMPUTER JOURNAL, 1992, 35 (05): : 478 - 491
  • [38] Applications of formal methods to system design and verification - J. UCS special issue
    Arbab, Farhad
    Sirjani, Marjan
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (13) : 1970 - 1971
  • [39] AN OVERVIEW OF SOME FORMAL METHODS FOR PROGRAM DESIGN
    HOARE, CAR
    COMPUTER, 1987, 20 (09) : 85 - 91
  • [40] Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System
    Gross, Kerianne H.
    Fifarek, Aaron W.
    Hoffman, Jonathan A.
    2016 IEEE 17TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2016, : 181 - 188
12345