退出
我的积分:
中文文献批量获取
外文文献批量获取
邓辉; 石竑松; 张宝峰; 杨永生; 刘晖;
中国信息安全测评中心;
北京100085;
安全策略; 设计规范; 半形式化;
机译:基于有色Petri网的模块化安全策略的形式化规范与验证
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:用半形式化方法分析自动飞行控制系统的模式转换逻辑
机译:基于本体的信息安全策略形式化的方法
机译:方法和安全策略:“安全策略标记语言”
机译:满足设计规范的鲁棒合成生物学的系统设计方法
机译:使用B方法形式化Java Card运行时安全策略以进行通用标准评估
机译:利用形式化和半形式化软件建模方法开发目标识别系统
机译:设计规范评估装置和方法,用于实现设计规范评估方法的设计规范评估程序,以及记录存储介质的设计规范评估程序的介质
机译:设计规范输入/输出设备,设计规范输入/输出系统和设计规范输入/输出方法
机译:屏幕设计规范创建方法,屏幕设计规范创建程序和屏幕设计规范创建设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。