形式化法相关论文
随着软件在我国航天领域中得到越来越广泛的使用,对软件的可靠性要求,尤其是在型号软件系统中,得到了越来越多的重视。软件失效将......
随着数字通信,计算机以及网络技术的发展,移动通信凭借其自身方便便捷的特点,呈现出如火如荼的发展势态。移动通信的目的是为了实......
