模态逻辑特征相关硕士博士期刊学术论文 - 搜论网

模态逻辑特征相关论文

可观测共变—逆变模拟及其公理系统的研究

进程代数研究的核心内容之一是讨论进程之间的行为等价或精化关系。传统的行为等价或精化关系不考虑动作的类型，它们不适合处理具有......

学位

进程代数弱共变-逆变模拟模态逻辑特征公理系统可靠性完备性

转换系统行为近似等价性的研究

在形式化方法研究领域,转换系统是描述软件或硬件系统行为的一种重要形式化模型。近年来,针对实时系统、控制系统及最优化问题等实......

学位

转换系统近似互模拟行为拟度量分岔距离模态逻辑特征带扰动线性控制系统线性时序逻辑控制策略反馈控制

看过本文同时还关注