退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:Markovian自动机的基于Lumping的等效性:产品形式分析的算法和应用程序
Giacomo Alzetta; Andrea Marin; Carla Piazza; Sabina Rossi;
机译:马尔可夫自动机中基于集总的等价:产品形式分析的算法和应用
机译:产品形式Markovian排队系统具有多种资源
机译:一种广义分区细化算法,实例化加权自动机的语言等效检查
机译:马尔可夫自动机中基于集总的等价关系及其在产品形式分析中的应用
机译:元胞自动机:算法和应用。
机译:发布者更正:复杂网络上非马尔可夫和马尔可夫传播动力学之间的对等及其无效
机译:马尔可夫自动机中基于集总的等价及其在产品形式分析中的应用
机译:一种测定有限自动机等效性的线性算法
机译:验证自动机功能实体和生产代码之间等效性的设备和方法。
机译:通过场景生成,基于CSP的面向语法的模型构建以及R2D2C系统需求转换来提供更完整的系统需求规范的自动机学习算法和过程
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。