层次自动机相关论文
随着信息技术的高速发展，诸如通信网络、交通控制系统等大型复杂的动态系统难以用传统的状态方程进行描述，不再属于连续变量系统的研......
对应用软件的行为建模有助于实时推断用户的操作意图,为初学者提供上下文相关的关于软件操作的帮助。Petri Net、有限自动机、IDEF......
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有......
