A FRAMEWORK FOR REASONING ABOUT TIME AND RELIABILITY

被引：0
|
作者：
HANSSON, H
JONSSON, B
机构：
来源：
REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS | 1989年
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：102 / 111
页数：10
相关论文
共 50 条
  • [1] A program refinement framework supporting reasoning about knowledge and time
    Engelhardt, K
    van der Meyden, R
    Moses, Y
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 2000, 1784 : 114 - 129
  • [2] Reasoning about time
    Golumbic, MC
    MATHEMATICAL ASPECTS OF ARTIFICIAL INTELLIGENCE, 1998, 55 : 19 - 54
  • [3] A stepwise development process for reasoning about the reliability of real-time systems
    Meinicke, Larissa
    Smith, Graeme
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 439 - 458
  • [4] A general framework for reasoning about change
    Juan Carlos Augusto
    New Generation Computing, 2003, 21 : 209 - 246
  • [5] A general framework for reasoning about change
    Augusto, JC
    NEW GENERATION COMPUTING, 2003, 21 (03) : 209 - 246
  • [6] An analytical framework for reasoning about intrusions
    Upadhyaya, S
    Chinchani, R
    Kwiat, K
    20TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2001, : 99 - 108
  • [7] A General Framework for Reasoning about Inconsistency
    Subrahmanian, V. S.
    Amgoud, Leila
    20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 599 - 604
  • [8] Reasoning about agents in the KARO framework
    Hustadt, U
    Dixon, C
    Schmidt, RA
    Fisher, M
    Meyer, JJ
    van der Hoek, W
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 206 - 213
  • [9] A Framework for Reasoning About Uncertainty in Ontologies
    Jabbour, Said
    Ma, Yue
    Raddaoui, Badran
    IEEE INTELLIGENT SYSTEMS, 2022, 37 (06) : 27 - 37
  • [10] Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems
    Burns, A.
    Littlewood, B.
    31ST IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2010), 2010, : 73 - 81
12345