线性动态逻辑相关硕士博士期刊学术论文

实时系统被广泛地应用在一些重大、紧急的事件的处理中,例如智能机器人、航天系统和铁路调度系统等。实时系统一旦发生错误,后果往......