时间符号迁移图相关论文
提出了以时间符号迁移图为建模语言、基于可达性分析的模型检测算法,并给出了算法的正确性证明.该算法可被用于硬件设计和通信协议......
引入时间符号迁移图的概念,作为既涉及通讯又具有实时性的并发系统的模型,该文给出了这种迁移图时间互模拟的算法,并证明了该算法的正......