多线程Java程序相关论文
本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示，针对Java多线程序研究，总结出了从多线Java程序自动生成安全相......
随着软件系统的广泛应用,多线程软件已经成为一类主流的软件系统,算法错误检测也越来越重要。由于并发行为的不确定性,多线程JAVA......
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程......
