安全相关行为模型相关论文
本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示，针对Java多线程序研究，总结出了从多线Java程序自动生成安全相......
多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程......
