退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:安全关键型交互系统设计的正式社会技术障碍建模
S. Basnyat P. Palanque B. Schupp P. Wright;
机译:特殊问题的序言:安全关键系统的设计和分析中的轻量级实用形式方法
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键交互系统形式模型的HAZOP分析
机译:安全关键系统中安全文化和安全绩效的社会技术模型。
机译:住宅用电和电网高峰需求的社会技术方面的系统建模
机译:事故和事故调查技术,为基于模型的安全关键交互系统设计提供信息
机译:安全关键分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计的模型检查方法
机译:安全关键型分布式存储系统安全检查软件设计中的模型检查方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。