分数阶系统高阶逻辑形式化验证

分数阶系统高阶逻辑形式化验证

出版社：科学出版社

ISBN：9787030622068

出版年：2023

作者：赵春娜

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

高阶逻辑辅助证明系统

作者：尼普科夫
ISBN：9787564077631
出版社：北京理工大学出版社
出版年：2013

数字硬件的形式化验证

作者：韩俊刚
ISBN：7301053320
出版社：北京大学出版社
出版年：2001

并发系统差分隐私的形式化验证

作者：许丽丽
出版年：2014

AACS安全协议的形式化验证

作者：王薇
出版年：2009

基于启发式方法的带参系统形式化验证

作者：段凯强
出版年：2016

混成系统的逻辑验证研究

作者：王淑灵
出版社：中国科学院
出版年：2012