控制流模型相关论文
列车自动防护系统是保证列车运行安全的安全苛求系统，该系统功能繁多、逻辑复杂、开发难度大。为此，提出一种基于模型的软件开发方法......
近年来,嵌入式系统在交通、工业控制、移动通信、家用电器等领域的运用需求迅猛增加。嵌入式系统,特别是嵌入式实时系统,逐步从传......
研究了并发Java程序控制流模型的建模问题．通过深入分析并发Java程序设计语言的语义以及带抑止弧Petri网的建模能力，提出了一种并发J......
