信号自动机相关论文
时间自动机被广泛用于实时系统验证和模型检测。一方面出现了很多算法和工具;另一方面有不少基于时间自动机的不同模型被提出,以适......
信号自动机为一类实时系统建立了比时间自动机更适合的模型.文中针对信号自动机因无验证算法可用而不能用于实际的实时系统模型验......
