形式化方法论文集合

闭关修炼ing 42 0 7Z 2019-06-22 22:06:40

Formal method paper collection

推荐下载

基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统,车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统。以形式化方法Event-B为基础,引入角色Agent对联锁系统进行规范定义

采用确定的有限状态自动机理论对复杂的网络攻击行为进行形式化描述,建立了SYNFlooding等典型攻击的自动机识别模型。通过这些模型的组合可以表示更为复杂的网络攻击行为,从而为研究网络入侵过程提供了

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computationindependentmodel,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是

Thesis collection SCI papers experience

InvitedPaperFormalAnalysisofProcessorTimingModelsReinhardWilhelm1HeuristicsandProbabilitiesTypicalSt

全国首届MBA学生论文大赛获奖论文集

该文档主要是几篇比较牛的science nature论文,这些论文都是每个行业领域的代表性论文。

2016中国学者社交网络论文集

文档按分类检索文件为IEEEbing等高价值文档,大部分为英文文献,内容比较全是初学者入门的首选资料

用户评论

请输入评论内容

评分：

卡了网匿名网友 2019-06-22 22:06:40

全是英文材料，英语不行