退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:SAS体系结构:混凝土关键系统的面向验证的形式化建模*
Annie Ressouche; Jean-yves Tigli; Valine Roy; Daniel Cheung;
机译:分布式系统体系结构的可重用通信模型的正式规范和验证
机译:面向服务的架构,用于整合遗传监管网络的建模和正式验证
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:SAS体系结构:面向验证的具体关键系统形式化建模
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:体系结构模式和轻量形式方法在安全关键系统验证中的应用
机译:通过正式模型设计和验证数据流系统的工具和方法
机译:关键功能弹药发射功能,激活授权系统,具有验证单元,以验证接收到的消息是否为已签名的集成消息,并授权实现关键功能
机译:使用元模型在面向请求的服务体系结构中提供事务管理的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。