线性混成系统相关论文
针对线性混成系统中存在的一类典型未知参数问题,如实时系统的验证通常局限于给定具体数值,未考虑系统中任何时间参数或物理特征参......
针对线性混成系统中存在的一类典型未知参数问题，如实时系统的验证通常局限于给定矍体数值，未考虑系统中任何时间参数或物理特征参数......
混成自动机的模型检验问题非常困难,即使是其中相对简单的一个子类——线性混成自动机,它的可达性问题仍然是不可判定的.现有的相......
