formalizati相关论文
WAPI是国内第一个的无线局域网标准。本文利用Kailar逻辑模型对WAPI中的证书鉴别过程形式化描述,并对其安全性进行了逻辑推理分析,......
语用学研究经过近半个世纪的发展，已经取得了丰硕成果。而逻辑方法的渐趋成熟为建立形式语用学奠定了基础。国外对形式语用学的探讨......
基于石化企业综合自动化的需求，提出了多分辨率层次化物流模型建模框架和形式化描述方法，对物流模型的空间映射和时间推演作了统一数......
采用基于形式规范的测试模板框架(TTF)可使测试规范通用化.测试规范使用基于模型的规范语言,由描述语言Z定义TTF基本部件的形式描......
