科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
曹凯; 奉柳; 刘秉政; 沈鹏; 杨旭;
山东理工大学交通与车辆工程学院;
山东淄博255049;
动态环境; 路径规划; 形式化; 集成; 建模;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:形式化和工具配备的状态图和形式化数据类型集成方法
机译:一种轻量级的形式化方法,用于建模,验证和集成基于角色的访问控制需求
机译:一种形式化本体驱动的语义集成的方法:概念,维度和框架。
机译:前瞻记忆人格与工作记忆:形式化建模方法
机译:并发系统建模和分析中性能方面集成的形式化方法
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:混合系统建模和分析的形式化方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。