线性半代数变迁系统相关硕士博士期刊学术论文 - 搜论网

线性半代数变迁系统相关论文

线性半代数变迁系统的近似互模拟等价

针对软件程序状态间转移关系存在不等式约束的问题,给出一种形式化的程序描述系统,即线性半代数变迁系统。在该系统的基础上,为简......

期刊

计算机软件近似互模拟线性半代数变迁系统特征列奇异值分解并发通信程序 computer software approximate bisimulatio

看过本文同时还关注