(可调整)时间自动机相关硕士博士期刊学术论文 - 信丰网

(可调整)时间自动机相关论文

可调整时间自动机可达性算法的研究

可调整时间自动机在时间自动机的基础上扩展了时钟调整形式,是一种有效描述实时系统行为的计算模型,借助这种模型对实时系统进行分......

期刊

(可调整)时间自动机扩展差分限界矩阵对角线约束可达性算法（updatable） timed automata EDBM diagonal constra

看过本文同时还关注