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 条
  • [31] A new framework for reasoning about points, intervals and durations
    Pujari, AK
    Sattar, A
    IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2, 1999, : 1259 - 1264
  • [32] Reasoning about Interference Between Units: A General Framework
    Bowers, Jake
    Fredrickson, Mark M.
    Panagopoulos, Costas
    POLITICAL ANALYSIS, 2013, 21 (01) : 97 - 124
  • [33] An extended framework for specifying and reasoning about proof systems
    Nigam, Vivek
    Pimentel, Elaine
    Reis, Giselle
    JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (02) : 539 - 576
  • [34] Formal Modeling and Reasoning about the Android Security Framework
    Armando, Alessandro
    Costa, Gabriele
    Merlo, Alessio
    TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, 2013, 8358 : 64 - 81
  • [35] Formal Framework for Reasoning About the Precision of Dynamic Analysis
    Dalla Preda, Mila
    Giacobazzi, Roberto
    Marastoni, Niccolo
    STATIC ANALYSIS (SAS 2020), 2020, 12389 : 178 - 199
  • [36] A Framework for Reasoning about Dynamic Axioms in Description Logics
    Bednarczyk, Bartosz
    Demri, Stephane
    Mansutti, Alessio
    PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1681 - 1687
  • [37] A logical framework for reasoning about access control models
    Bertino, Elisa
    Catania, Barbara
    Ferrari, Elena
    Perlasca, Paolo
    ACM Transactions on Information and System Security, 2003, 6 (01) : 71 - 127
  • [38] A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns
    Barouni, Foued
    Moulin, Bernard
    GRAPH-BASED REPRESENTATION AND REASONING, 2014, 8577 : 79 - 92
  • [39] Graph theoretic models for reasoning about time
    Golumbic, Martin Charles
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3321 : 352 - 362
  • [40] Reasoning about unpredicted change and explicit time
    de Saint-Cyr, FD
    Lang, J
    QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 223 - 236
12345