位置：成果数据库 > 期刊 > 期刊详情页
基于控制周期特征式的线性混合自动机验证
  • 期刊名称：华东理工大学学报
  • 时间：0
  • 作者或编辑：3448
  • 页码：2000,26(5):471-476
  • 语言：中文
  • 相关项目：基于重写归纳的推理技术及应用
作者： 潘国强|虞慧群|宋国新|邵志清||
同期刊论文项目
基于重写归纳的推理技术及应用
期刊论文 9
同项目期刊论文
分布式实时系统的一种转化方法
线性混合系统符号模型验证中的参数分析方法
嵌入式系统设计的一种协同仿真方法
基于关键规则分组优先提取策略的完备化算法及其实现
C 对Generic程序设计技术的支持
用构造基证明归纳定理
CFSM模型的有限自动机语义
基于重写归纳技术的串行加法器的描述和验证