关键词: uml  软件需求  缺陷  形式化建模  

2019年第12期 《自动化与仪器仪表》

关键词: 形式化方法  膜计算  通信机制  描述能力  形式化建模  自动机  系统演化  演化过程  软件产品线  

2018年第04期 《哈尔滨工程大学学报》

关键词: 时序petri网  模型检测  形式化建模  形式化分析  

2018年第06期 《山东理工大学学报·自然科学版》

关键词: petri网  执行制造系统  水产品加工  形式化建模  

2019年第03期 《烟台大学学报·哲学社会科学版》

关键词: 学习系统  形式化建模  评析  研究进展  教学模式  学习资源  现代远程教育  

2004年第01期 《现代教育技术》

关键词: 遗传算法  群机器人  路径规划  定理证明  形式化建模  hol4  

2019年第02期 《计算机应用研究》

关键词: 软件定义网络  形式化建模  脆弱性扩散  抑制策略  

2018年第10期 《计算机研究与发展》

关键词: 形式化建模  bpmn流程  jbpm引擎  

2018年第08期 《电脑编程技巧与维护》

关键词: b样条  形式化建模  特征点检测  单视角  合成图片  

2017年第11期 《计算机工程》

关键词: 形式化建模  网精简  实时系统  模糊时间petri网  扩展的模糊时间petri网  时间petri网  可扩展  模糊集合理论  design  形式化模型  

2005年第11期 《计算机科学》

关键词: 形式化方法  形式化建模  coq证明  闪存安全  信息安全  闪存转换层算法  

2018年第01期 《小型微型计算机系统》

关键词: petri网  模糊时间  形式化建模  网精简  实时系统  eftn  

2005年第06期 《微电子学与计算机》

关键词: 协同虚拟环境  模糊时延petri网  时延模糊  形式化建模  角色机制  

2005年第05期 《中国机械工程》

关键词: 安全关键软件  形式化建模  时钟约束  timed  synccharts  kripke  计算机联锁  

2017年第09期 《铁道学报》

关键词: 城市轨道交通  cbtc  联锁系统  形式化建模  分层有色petri网  

2017年第06期 《铁道运输与经济》

关键词: 形式化建模  软件架构  动态车载导航系统  

2016年第22期 《电子技术与软件工程》

关键词: 密码协议  半实物网络仿真  形式化建模  cryptlib  封装安全载荷  

2016年第10期 《计算机应用研究》

关键词: 形式化建模  有限状态机  sdl  

2006年第12期 《计算机系统应用》

关键词: 多agent系统  网络管理模型  形式化建模  petri网  

2007年第A01期 《系统仿真学报》

关键词: 软件人  多智体系统  形式化建模  分布式人工智能  

2006年第02期 《北京理工大学学报·社会科学版》