退出
我的积分:
中文文献批量获取
外文文献批量获取
岳香芬;
太原师范学院,网络中心,山西,太原,030012;
时间自动机; 实时系统; 模型检查;
机译:基于UML和时间自动机的软实时系统设计分析方法
机译:基于时间自动机的多智能体模型检查:案例研究
机译:基于GSI的对流允许基于GECAN现场实验的基于GSI的对流的数据同化和预测系统的设计与实现。 第二部分:实时系统的概述和评估
机译:使用自旋模型检查器对基于时间自动机的混合系统进行建模和验证
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:使用马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证:基于马尔可夫模型的基于时间自动机的森林后土地利用动态模型的校准和验证模型
机译:一种异构实时系统的分布式调度算法
机译:具有字符替换的磁盘检查功能磁盘检查算法,该算法应用了一种基于彼此替代的字符的优先级以及相关联的手持式电子设备
机译:拼写检查功能以及基于相关算法的手持式电子设备的广泛用户选择,基于该算法生成的拼写检查重命名,该优先级将优先级应用于拼写检查算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。