Evaluation of Software Dependability Based on Pi-Calculus-猫眼课题宝

基于Pi演算的软件可靠性评估

DOI：

--

发表时间：

--

期刊：

Key Engineering Materials

影响因子：

--

通讯作者：

中科院分区：

其他

文献类型：

--

作者：

Qian Zhao;Wang Huiqiang