李俨 张凯 李小燕 张清江 陈利 王新民 陈海 杨晓艳

概率鲁棒分析 FP 雷达 移频法 安全操作系统 堆栈溢出 液位测量 飞行控制 快速傅里叶变换 鲁棒度 BLP模型 Linux安全模块 需求干扰管理 自相关函数 鲁棒性评估 形式化 软件需求 DFD

湖北武汉 华中师范大学计算机科学系 西北工业大学自动化学院 陕西西安