搜索筛选:
搜索耗时0.9762秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：周修毅,
来源：南京大学 年份：2005
随着硬件和软件系统的规模和功能的迅速的增长，设计的复杂性和设计中所包含微小错误的可能性也随之增长，这就给软件和硬件产品的可靠性带来了重大的挑战。计算机辅助验证的目标......
[期刊论文] 作者：周修毅,赵建华,李宣东,郑国梁,
来源：计算机科学 年份：2005
实时系统可以使用由多个并发的时间自动机组成的时间自动机网络来建模.网络中的时间自动机通过共享变量和/或信道交互.带有不同共享变量取值的自动机网络的状态是截然不同的....
相关搜索：
