软件踪迹相关硕士博士期刊学术论文 - 信丰网

软件踪迹相关论文

一种基于进程代数的软件可信性度量模型

基于软件可信本质和进程代数给出了软件可信性评估框架及度量指标。将软件正向和逆向工程都统一到进程代数这一尺度上，这样进程代数......

期刊

进程代数软件可信性软件需求逆向工程软件踪迹 process algebra software trustworthiness software req

看过本文同时还关注