Formal semantics model for automatic test of safety critical systems

被引：0
|
作者：
Lü, Jiang-Hua [1 ]
Ma, Shi-Long [1 ]
Li, Xian-Jun [1 ]
Gao, Shi-Wei [1 ]
机构：
[1] Lü, Jiang-Hua
[2] Ma, Shi-Long
[3] Li, Xian-Jun
[4] Gao, Shi-Wei
来源：
Lü, J.-H. (jhlv@nlsde.buaa.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 25期
关键词：
Calculations;
D O I：
10.13328/j.cnki.jos.004412
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：489 / 505
相关论文
共 50 条
  • [21] Contract-based formal specification of safety critical systems
    Dong, W
    Wang, J
    Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 7 - 8
  • [22] Exploring a Methodology for Formal Verification of Safety-Critical Systems
    Sheridan, Oisin
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 361 - 365
  • [23] RELEVANT ENTAILMENT - SEMANTICS AND FORMAL SYSTEMS
    AVRON, A
    JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (02) : 334 - 342
  • [24] Formal Specification Based Automatic Test Generation for Embedded Network Systems
    Choi, Eun Hye
    Nishihara, Hideaki
    Ando, Takahiro
    Nguyen Van Tang
    Aoki, Masahiro
    Yoshisaka, Keiichi
    Mizuno, Osamu
    Ohsaki, Hitoshi
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [25] The safety-critical java memory model: A formal account
    University of York, Department of Computer Science, York, United Kingdom
    Lect. Notes Comput. Sci., (246-261):
  • [26] An authorization model and its formal semantics
    Bertino, E
    Buccafurri, F
    Ferrari, E
    Rullo, P
    COMPUTER SECURITY - ESORICS 98, 1998, 1485 : 127 - 142
  • [27] A FORMAL SEMANTICS FOR OBJECT MODEL DIAGRAMS
    BOURDEAU, RH
    CHENG, BHC
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (10) : 799 - 821
  • [28] FORMAL MODEL OF SEMANTICS OF CREATION OF WORDS
    Egoshina, A. A.
    RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2007, 2 : 54 - 57
  • [29] Formal Semantics to Model Experimental Data
    Viallefond, Francois
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS XXII, 2013, 475 : 215 - 218
  • [30] A FORMAL SEMANTICS FOR THE ODP COMPUTATIONAL MODEL
    NAJM, E
    STEFANI, JB
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (08): : 1305 - 1329
12345