退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋建军; 王长林;
西南交通大学 信息科学与技术学院,成都610031;
安全苛求系统; 时间自动机; 模型验证; UPPAAL;
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:使用UPPAAL和Simulink / Stateflow对实时发布和订阅协议进行建模和验证
机译:物联网UPPAAL中IEEE 802.11i安全协议的建模和验证
机译:UPPAAL中分布式事务协议的形式化建模和分析
机译:使用LTSA和UPPAAL对渠道系统中的并发行为进行建模,验证和验证。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:音频/视频协议的形式化建模和分析:使用UppaaL的工业案例研究
机译:将基于UmL的形式化规范,验证和验证应用于太空飞行软件和防御软件
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:混合系统建模和分析的形式化方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。