退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用于规范和分析分层组合排队petri网的QpN工具
Falko Bause; Peter Buchholz; Peter Kemper;
机译:结合排队网络和广义随机Petri网模型来分析某些软件阻塞现象
机译:结合排队网络和广义随机Petri网以解决复杂的系统行为模型
机译:从并行控制器的分层Petri网规范生成VHDL
机译:推导分层组合排队Petri网用于分布式组件系统的性能预测
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:建模生物梯度形成:结合偏微分方程和Petri网
机译:QpN-排队petri网的定性和定量分析工具
机译:层次规范,包含规范和层次包含规范输入站
机译:数据转换规格分析装置,数据转换规格分析方法以及数据转换规格分析程序
机译:组合测试案例规范的方法,组合测试案例规范的程序和组合测试案例规范的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。