线性时段性质相关论文
本文介绍了一个就线性时段特性验证实时系统的正确性的工具的设计思想以及相关算法.我们使用和时间自动机作为实时系统的描述模型.......
混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的......
