王法恩 实时系统的参数定时分析。 （英语） Zbl 0872.68041号 Inf.计算。 130，第2期，131-150（1996）. 摘要：我们将TCTL模型检查问题扩展到实时系统的参数定时分析问题，并开发了解决该问题的新技术。我们在这里提出的算法接受时间转移系统描述和时间参数变量大小未知的参数TCTL公式，并可以返回时间参数变量的一般线性方程组，其解使系统工作。 引用于12文件 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 2005年第68季度 计算模型（图灵机等）（MSC2010） 关键词：TCTL模型检查问题 PDF格式BibTeX公司 XML格式引用 \textit{F.Wang}，Inf.计算。130，第2131-150号（1996年；Zbl 0872.68041） 全文： DOI程序 链接