有状态动态偏序归约相关硕士博士期刊学术论文

随着软件规模不断扩大,内部结构愈发复杂,应用环境日益开放,软件可信性已成为人们广泛关注的热点。在软件开发的不同阶段,软件可信......