科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用分级培养网验证软件算法
И.В. Рудаков; А.В. Пащенкова;
机译:分层Petri网在制造系统控制软件设计与验证中的案例研究。
机译:一种基于分层Petri网的方法,用于验证互联BPEL过程
机译:使用分层模糊彩色Petri-网的起搏器功能的运行时间验证
机译:基于分层服务覆盖网络的Petri净验证服务组合机制
机译:组成分层时间Petri网的验证方法。
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:语用学注释用于协议软件生成和验证的彩色petri网
机译:用整数规划验证有界petri网
机译:时基服务验证软件一种软件交付框架,用于验证由专业服务提供商按时计费的活动。该软件系统存储在互联网云中或内部,可以安全地集中来自相互信任的证据来源的增量时间计费的度量,以确保所有各方都可以验证其参与的成果。
机译:验证支持设备和用于软件定义的网络环境中的网络服务链的正式验证的方法,以及具有验证支持设备的正式验证设备
机译:通过使用Petri-Net建模验证工业互联网系统中包含的无人机的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。