运行时验证技术相关论文
随着人类社会的不断发展,软件的规模日益复杂,形式也众彩纷呈。但是软件危机就像一个如影相随的恶魔,经常在不经意中给人类造成损......
随着计算机技术的发展,软件系统的可靠性问题越来越受到人们的重视。尤其对于安全关键系统,如何提高此类软件系统的可靠性已成为一......
随着深度神经网络在分类等任务中准确率的提高,深度学习系统被应用于越来越多的领域中,如自动驾驶系统等。虽然一些深度学习系统在......
