欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
Formal description of cognitive reference model for surviable system based on symbolic trace method
时间:2014.1.10
页码:1273-1280
相关项目:可生存系统自主认知模式研究
作者:
zhang nan|sheng linyang|wang jian|li lin|
同期刊论文项目
可生存系统自主认知模式研究
期刊论文 24
会议论文 4
著作 2
同项目期刊论文
一种信息系统可生存性的自配置增长方法
A Method of Autonomous Emergency Rejuvenation for Survivable System
一种信任优化搜索的p2p节点资源定位算法
Cognitive model and formal description for survivable system based on SM-PEPA
一种可生存系统的自主管理模型
一种可生存系统认知性的评估方法研究
Sccurity Analysis and Enhanced Design of an Dynamic Block Cipher
云计算系统认知生存模型及量化分析
基于 SM-PEPA 可生存系统认知模型及量化分析
基于高阶多型π演算的可生存系统认知模型研究
可生存系统的自主可识别性机制研究
基于多维动态S盒混淆替换和N级联动LFSR的分组密码算法
基于模糊关系矩阵的可生存系统认知参考模型分析
面向服务性能的认知网络理论及形式化建模方法
一种可生存系统的自主应急恢复方法
基于Agent的可生存系统认知单元结构模型
可生存系统认知性的评估方法
Security Analysis and Enhanced Design of a Dynamic Block Cipher
网络空间安全课程的实践教学设计
物联网安全与工程专业的建设模式探索