退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有大离散状态空间的线性混合自动机的精确和完全符号验证
Damm Werner; Dierks Henning; Disch Stefan; Hagemann Willem; Pigorsch Florian; Scholl Christoph; Waldmann Uwe; Wirtz Boris;
机译:使用反例指导的抽象细化验证具有大离散状态空间的线性混合系统
机译:概率线性混合自动机的符号可达性分析
机译:大离散状态空间线性混合系统验证中的精确状态集表示
机译:使用混合自动机对生物蛋白信号网络进行建模和符号分析。
机译:无限维实希尔伯特空间中分裂DC程序的混合近端线性化算法
机译:具有大离散状态空间的线性混合系统的精确状态集表示
机译:DEV&DESS模型验证的线性混合自动机转换方法及装置
机译:DEV-DESS模型验证的线性混合自动转换方法及装置
机译:用于生成符号线性标度的非线性间隔刻度的系统,模块和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。