屏蔽系统形式化建模和分析方法研究

屏蔽系统形式化建模和分析方法研究

出版社：中国科学技术大学

出版年：2022

作者：朱佳宾

资源类型：图书

细分类型：中文文献

2浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

分布式系统形式化建模技术研究

作者：郑红
出版社：中国科学院
出版年：2003

基于状态转移系统的安全协议形式化建模方法的研究

作者：岳庆刚
出版社：中国科学院
出版年：2012

形式化技术在物流信息系统建模中的应用研究—EFSM建模与实现

作者：朱学俊
出版年：2002

RMC屏蔽模块再开发与先进减方差方法研究

作者：潘清泉
ISBN：9787302630487
出版社：清华大学出版社
出版年：2023

ITER真空室中子屏蔽的结构设计与分析研究

作者：刘常乐
出版年：2006

安全Linux操作系统及安全Web系统的形式化建模与实现

作者：刘克龙
出版社：中国科学院
出版年：2001