发布时间： 2017-03-13 浏览次数： 1902
实验室于2003年8月由江西省科技厅批准成立，该实验室主要从事软件形式化和自动化、并行分布式计算、面向服务计算、高可信软件和网络软件等学科方向的研究。
