可信软件若干关键技术的研究

本书是一本有关软件可信性研究领域的专著,以论文集形式出版。该专著共收集7篇前沿学术论文,分别从21世纪...

2010.10