退出
我的积分:
中文文献批量获取
外文文献批量获取
赵国生; 王慧强; 李明军;
哈尔滨工程大学,计算机学院,黑龙江,哈尔滨,150001;
哈尔滨师范大学,网络中心,黑龙江,哈尔滨,150080;
形式化方法; 随机进程代数; 可生存性网络; 性能分析;
机译:基于随机过程代数的网络可生存性形式化分析新方法
机译:WiMAX网络中移动模式对切换延迟的形式化建模和验证效果
机译:网络运动控制系统电机驱动软件的形式化建模与验证
机译:基于框架的计算机网络多层次攻击的形式化建模和分析方法
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:MAL相关的生物调控网络的形式化建模和分析:对脑疟疾的认识
机译:一种基于框架的计算机网络多级攻击形式化建模与分析方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:物理网络障碍的网络可生存性测量和分析方法
机译:破坏作用条件下多级控制系统分布式通信网络结构可生存性建模过程的方法
机译:可生存性任务建模器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。