参与单位：
课题1,课题2，课题3
2014年11月1-2日，以第二课题组人员为主，在武汉研讨安全攸关软件的测试、分析技术。