计时状态进程论文

论文题目:基于软件体系结构的测试用例生成技术研究论文类型:博士论文论文专业:计算机应用技术作者:叶俊民导师:王振宇关键词:软件体系结构,体系结构描述语言,计时状态进程,操作语义...