CHECKING PROOFS AND DUMMIES

被引：0
|
作者：
MATTHIES, LH
MYERS, G
机构：
来源：
JOURNAL OF SYSTEMS MANAGEMENT | 1985年 / 36卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：22 / 23
页数：2
相关论文
共 50 条
  • [21] Integrating Topological Proofs with Model Checking to Instrument Iterative Design
    Menghi, Claudio
    Rizzi, Alessandro Maria
    Bernasconi, Anna
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 53 - 74
  • [22] Evidence explorer: A tool for exploring model-checking proofs
    Dong, YF
    Ramakrishnan, CR
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 2003, 2725 : 215 - 218
  • [23] Cooperative Set Homomorphic Proofs for Data Possession Checking in Clouds
    Kaaniche, Nesrine
    Laurent, Maryline
    Canard, Sebastien
    IEEE TRANSACTIONS ON CLOUD COMPUTING, 2021, 9 (01) : 102 - 117
  • [24] Nursing for dummies or dummies for nursing?
    Watson, Roger
    Thompson, David R.
    JOURNAL OF CLINICAL NURSING, 2009, 18 (22) : 3069 - 3069
  • [25] Password-authenticated proofs of retrievability for multiple devices checking cloud data
    Cui, Hui
    Wan, Zhiguo
    Qi, Huayi
    Qin, Baodong
    Yi, Xun
    JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, 2023, 75
  • [26] DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
    Wetzler, Nathan
    Heule, Marijn J. H.
    Hunt, Warren A., Jr.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, 2014, 8561 : 422 - 429
  • [27] Addiction and Recovery for Dummies (For Dummies Series)
    Shaw, Brian F.
    Ritvo, Paul
    Irvine, Jane
    DRUGS AND ALCOHOL TODAY, 2005, 5 (02) : 45 - 45
  • [28] 'DUMMIES'
    HOPE, C
    TLS-THE TIMES LITERARY SUPPLEMENT, 1981, (4075): : 519 - 519
  • [29] Dummies
    Bu'Lock, FA
    ARCHIVES OF DISEASE IN CHILDHOOD, 2004, 89 (12) : 1081 - 1082
  • [30] Female dummies and occupant dummies for autonomous driving
    Kinsky T.
    Kleeßen C.
    VDI Berichte, 2022, 2022 (2387): : 223 - 236
12345