科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
李广元; 唐稚松;
中国科学院软件研究所计算机科学重点实验室;
北京;
100080;
反应系统; 公平转换系统; 时序逻辑; 性质验证; 可判定性;
机译:竞争连续反应系统的动力学建模及其实验验证
机译:带有线性时序逻辑的技术系统模型的验证
机译:验证模型的技术体系借助于线性时序逻辑
机译:具有控制屏障功能的连续时间信号时序逻辑规划
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:羽毛球培训视觉反应系统的验证和评估
机译:线性时序逻辑,具有直到和下一个逻辑连续
机译:反应系统行为形式验证和验证的三个维度
机译:用连续语句表示的语句,用连续表示法表示的语句,用连续表示法和连续语句表示的语句,用连续表示统一语句的表示方法,用连续表达表示单元和连续输入语句的语句,用连续表示法
机译:用于测试和验证C.R.T.时序逻辑的装置和方法显示
机译:用于测试和验证阴极射线管显示时序逻辑的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。