HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 组合验证论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
面向限定自然语言需求的AADL自动生成工具第984-995页
关键词: 安全关键软件  aadl  限定自然语言  组合验证  
2019年第05期 《小型微型计算机系统》
UML Statecharts的层次组合验证第37-38页
关键词: uml  模型检验  组合验证  
2005年第11期 《计算机工程与应用》
一种刻画功能和时间空间性能的统一验证模型atsFPM第740-750页
关键词: 功能性能  空间约束  组合验证  安全可信  
2009年第04期 《计算机学报》
一种Web服务组合形式化模型及验证方法第209-211页
关键词: pi演算  web服务  服务组合  组合验证  
2010年第30期 《科技与创新》
进位保留加法器的命题投影时序逻辑组合验证第192-196页
关键词: 时序逻辑  组合验证  进位保留加法器  超前进位加法器  
2012年第05期 《西安电子科技大学学报》
基于假设保证的SpaceWire总线链路接口的组合验证第12-15页
关键词: 组合验证  假设保证  模型检验  spacewire总线标准  环境状态机  
2013年第10期 《计算机应用与软件》
基于抽取-精化的概率系统假设-保证验证第128-133页
关键词: 抽取精化  概率自动机  概率时间自动机  组合验证  
2013年第03期 《计算机工程与科学》
可组合嵌入式软件建模与验证技术研究综述第234-253页
关键词: 可组合嵌入式软件  可组合性  相容性  组合模型  组合机制  组合验证  
2014年第02期 《软件学报》
期刊导航