科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
魏强; 苏森; 陈俊亮;
北京邮电大学网络与交换国家重点实验室;
多媒体会议; 描述模型; 形式化方法;
机译:使用定性模型和描述逻辑描述图像
机译:从上游设计到模型检查过程的集成设计验证环境:从UML描述到SPIN模型检查器过程定义和线性时间逻辑公式的自动转换方法
机译:从上游设计到模型检查过程的集成设计验证环境-从UML描述到SPIN模型检查仪器过程定义和线性时相逻辑表达式的自动转换方法
机译:描述和扩展RBAC模型的描述逻辑方法
机译:基于格理论和描述逻辑作用模型的阿尔茨海默氏病患者计划识别模型
机译:描述口腔癌患者淋巴结受累程度相关因素的有序逻辑回归模型及其前瞻性验证
机译:预测集成人机系统可靠性的模型。模型逻辑和描述。
机译:从行为描述创建和验证电子设计的结构逻辑模型的方法和系统,包括逻辑和时序模型的生成
机译:利用智能逻辑模型来实现简洁的逻辑表示,以简化设计描述并快速捕获设计
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。