程序与混成系统的不变量自动生成

程序与混成系统的不变量自动生成

出版社：中国科学院软件研究所

出版年：2022

作者：王秋野

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

基于不变量的测试用例自动生成技术研究

作者：袁园
出版年：2012

不变量理论

作者：爱林根
出版社：江苏科学技术出版社
出版年：1982

代数不变量的源流

作者：金英姬
ISBN：9787560592565
出版社：西安交通大学出版社
出版年：2017

混成动态系统引论

作者：Schaft
ISBN：9787302155270
出版社：清华大学出版社
出版年：2007

基于不变式的混成系统分析、验证和设计方法研究

作者：赵恒军
出版年：2014

力学系统的对称性与不变量

作者：赵跃宇
ISBN：7030067592
出版社：科学出版社
出版年：1999