CHECKING MODELS IN STRUCTURAL DESIGN - CLOSURE

被引：0
|
作者：
STEWART, MG
MELCHERS, RE
机构：
来源：
JOURNAL OF STRUCTURAL ENGINEERING-ASCE | 1991年 / 117卷 / 07期
关键词：
D O I：
10.1061/(ASCE)0733-9445(1991)117:7(2188.2)
中图分类号：
TU [建筑科学];
学科分类号：
0813 ;
摘要：
引用
下载
收藏
页码：2188 / 2189
页数：2
相关论文
共 50 条
  • [41] Neurobiological computational models in structural analysis and design
    Hajela, P.
    Berke, L.
    Collection of Technical Papers - AIAA/ASME Structures, Structural Dynamics and Materials Conference, 1990,
  • [42] Structural Design with 3D-Models
    不详
    BAUINGENIEUR, 2014, 89 : A20 - A21
  • [43] Sequence control for integrated structural design models
    Lee, CH
    Sause, R
    JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 1996, 10 (03) : 213 - 225
  • [44] Spatial Logic and Spatial Model Checking for Closure Spaces
    Ciancia, Vincenzo
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    FORMAL METHODS FOR THE QUANTITATIVE EVALUATION OF COLLECTIVE ADAPTIVE SYSTEMS, SFM 2016, 2016, 9700 : 156 - 201
  • [45] The hidden models of model checking
    Visser, Willem
    Dwyer, Matthew B.
    Whalen, Michael
    SOFTWARE AND SYSTEMS MODELING, 2012, 11 (04): : 541 - 555
  • [46] The hidden models of model checking
    Willem Visser
    Matthew B. Dwyer
    Michael Whalen
    Software & Systems Modeling, 2012, 11 : 541 - 555
  • [47] Algorithmic approach for checking closure properties of ω-regular languages
    Peled, Doron
    Wilke, Thomas
    Wolper, Pierre
    Lecture Notes in Computer Science, 1119
  • [48] Checking and transforming models with AutoFocus
    Schätz, B
    Braun, P
    Huber, F
    Wisspeintner, A
    12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings, 2005, : 307 - 314
  • [49] Observational models for linearizability checking on weak memory models
    Winter, Kirsten
    Smith, Graeme
    Derrick, John
    PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), 2018, : 100 - 107
  • [50] Quality for tomorrow: By design or by checking?
    Garber, CC
    Witte, DL
    CLINICAL CHEMISTRY, 1997, 43 (05) : 864 - 865
12345