形式化方法在构件组装实时系统中的应用研究

席琳,中央民族大学信息化建设管理处工程师,计算机软件与理论专业工学博士,研究方向为信息安全,软件工程...

2019.5