科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:精确加速实时模型检查
Hendriks Martijn; Larsen Kim G.;
机译:基于重叠周期的复杂实时模型检查的精确加速度
机译:模型检查使用实时时间逻辑RTCTL及其在真正的微控制器软件应用程序的实时性能
机译:使用参与者和模型检查对实时无线传感器和执行器网络进行建模和分析
机译:用于实时规范的模型检查$$$$模型检查和符号模型检查
机译:列出了用于模型检查实时系统和无限状态系统的分辨率和约束。
机译:通过激光辅助显微切割和实时PCR准确定量存档组织切片中的基因扩增
机译:离散时间模型的实时符号模型检验
机译:模型检查装置,模型检查方法以及模型检查程序
机译:模型检查程序,模型检查方法,模型检查设备
机译:LTL模型检查系统,LTL模型检查方法和LTL模型检查程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。