EDICT Tools for Model-Based Architectural Specification and Analysis

被引：0
|
作者：
LaValley, Brian
机构：
来源：
2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) | 2012年
关键词：
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
引用
收藏
页数：22
相关论文
共 50 条
  • [1] Model-based specification
    Bijlsma, L
    [J]. INFORMATION PROCESSING LETTERS, 2001, 77 (2-4) : 77 - 84
  • [2] Model-based safety analysis for an aviation software specification
    Hu J.
    Chen S.
    Chen D.
    Kang J.
    Wang H.
    [J]. International Journal of Performability Engineering, 2020, 16 (02) : 238 - 254
  • [3] Model-based protocol specification
    Mordecai, Yaniv
    [J]. SYSTEMS ENGINEERING, 2019, 22 (02) : 188 - 210
  • [4] A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
    Chadli, Mounir
    Kim, Jin Hyun
    Legay, Axel
    Traonouez, Louis-Marie
    Naujokat, Stefan
    Steffen, Bernhard
    Larsen, Kim Guldstrand
    [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 133 - 141
  • [5] Graphical tools for model-based mixture discriminant analysis
    Luca Scrucca
    [J]. Advances in Data Analysis and Classification, 2014, 8 : 147 - 165
  • [6] Graphical tools for model-based mixture discriminant analysis
    Scrucca, Luca
    [J]. ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, 2014, 8 (02) : 147 - 165
  • [7] Model-based specification and validation of automotive electronics
    Schultz, Torsten
    [J]. Joint Meeting of the Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, Proceedings, 2006, : 15 - 20
  • [8] Model-based specification animation using testgraphs
    Miller, T
    Strooper, P
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 192 - 203
  • [9] Model-based specification of virtual interaction environments
    Celentano, A
    Pittarello, F
    Fogli, D
    Mussio, P
    [J]. 2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, : 257 - 260
  • [10] A Language Specification Tool for Model-Based Parsing
    Quesada, Luis
    Berzal, Fernando
    Cubero, Juan-Carlos
    [J]. INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2011, 2011, 6936 : 50 - 57
12345