Login / Signup
Xen混合多策略模型的设计与形式化验证 (Design and Formal Verification of Xen Hybrid Multi-police Model).
Xianwei Zhu
Zhiqiang Zhu
Lei Sun
Published in:
计算机科学 (2017)
Keyphrases
</>
formal verification
conceptual model
metamodel
prior knowledge
conceptual framework
case study
computational model
experimental data
probability distribution
fuzzy sets
orders of magnitude
statistical model
model checker
probabilistic model
mathematical model