参与单位：
课题1,课题2，课题3
2016年4月17日，项目组在南京召开内部交流会，着重讨论安全攸关软件的测试与调试技术。