位置：成果数据库 > 会议 > 会议详情页
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System
  • 所属机构名称：中山大学
  • 会议名称：WINE-2005
  • 成果类型：会议
  • 相关项目：系统规范表示与验证的认识逻辑途径
作者： Qingliang Chen|Guanfeng Lv|Han Lin|Kaile Su|Congxin Zhao|
同会议论文项目
系统规范表示与验证的认识逻辑途径
期刊论文 64 会议论文 33 著作 2
同项目会议论文
The Interpreted System Model of Knowledge, Belief, Desire and Intention
BDDRPA*: An Efficient BDD-based Incremental Heuristic Search Algorithm For Replanning
Verification of Multi-agent Systems via Bounded Model Checking
Reasoning About Knowledge by SAT Solving
Observation-Based Logic of Knowledge, Belief, Desire and Intention
Exploiting Inference Rules to Compute Lower Bounds for MAX-SAT Solving
Computationally grounded model of BDI-agents
A theory of forgetting in logic programming
Model Checking Temporal Logics of Knowledge and Its Application in Security Verification
Primitive Recursive Real Numbe
Observation-based model for BD
The Algorithm Research for On
Observation-based model for BDI-agents
A Computationally Grounded Logic of Knowledge, Belief and Certainty
Bounded model Checking knowledge and branching time in synchronous multi-agent systems
Observation-Based Logic of Kno
A theory of forgetting in logi
Reasoning About Knowledge by S
A Computationally Grounded Log
The Interpreted System Model o
Model Checking Temporal Logics
Improving Encoding Efficiency for Bounded Model Checking
Observation-Based Logic of Kno
A theory of forgetting in logi
Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving
Reasoning About Knowledge by S
Model Checking Temporal Logics
Observation-based model for BD
A Modal Logic for Beliefs and Pro Attitudes
A Computationally Grounded Log
The Interpreted System Model o
An Extended Interpreted System Model for Epistemic Logics