通信序列进程语言相关硕士博士期刊学术论文

通信序列进程语言相关论文

标准UML（unifiedmodellanguage）状态图中缺乏对并行环境精确的动态语义,不利于对其所描述的并行环境进行形式化分析、验证和确认,而C......

期刊