时序描述相关论文
该文主要研究XYZ系统在多媒体领域的应用问题.XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统,它由时序......
依据有穷状态自动机模型,面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果.由于特殊的实时和同步要求,这些结果不......
组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型......