退出
我的积分:
中文文献批量获取
外文文献批量获取
丁如江; 李国强;
上海交通大学软件学院,上海200240;
非交互式Petri网; 可覆盖性; 验证; 模型检测; SMT求解器;
机译:从其修改后的可覆盖性图识别一处无界Petri网
机译:模糊解释Petri网的可覆盖性图
机译:关于Petri网的单调扩展的可覆盖性和可达性语言
机译:具有非紧急行为的时间基本Petri网的可覆盖性分析
机译:使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
机译:非运动型临床和生物标志物预测因子可实现早期PD的高交叉验证准确度检测而扫描的交叉验证准确度较低而无需多巴胺能缺乏症的证据
机译:petri网与非约束性相关的属性,并使用可覆盖性多图进行分析
机译:用于不经意的图灵机,非循环逻辑网络和VLsI的多功能机的高效实现
机译:实现通信的高效和交互式管理的系统和方法
机译:借助交互式语音响应系统实现用户ID验证的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。