安全系统形式化设计与分析研究

【作者】 黄勇

【导师】 潘雪增; 平玲娣;

【作者基本信息】 浙江大学 , 计算机科学与技术, 2009, 博士