多速率自动机相关论文
针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题，定义了多速率区域来表示和处理多速率自动机的无穷状态空间，从......
研究了初始化的多速率混合系统的模型检查问题，即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质．首先定义了......
