您的位置:首页 > 科学研究 > 学术科研

卑尔根-重庆网络化系统暑期学校

发布时间:2017-10-17 来源:本站原创 作者:本站编辑   浏览次数:

卑尔根-重庆网络化系统的模型精化、转化及验证方法与工具暑期学校

BeChong Summer School on

Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems”

卑尔根-重庆网络化系统的模型精化、转化及验证方法与工具暑期学校(BeChong Summer School on Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems)是挪威西部应用科学大学(Western Norway University of Applied Sciences)信息通信技术工程研究组(ICT Engineering Research Group: http://prosjekt.hib.no/ict/)与中国西南大学软件研究与创新中心(Centre for Research and Innovation in Software Engineering - RISE: http://www.swu-rise.net.cn)之间软件工程教育与研究合作项目的组成部分。合作项目(2017.01 2018.12)是由挪威国际教育合作中心(Norwegian Centre for International Cooperation in Education) (https://www.siu.no/eng)资助,项目由挪威西部应用科学大学的Volker Stolz副教授和西南大学的刘志明教授主持。本次暑期学校参与者包括本项目挪威团队的七名成员和西南大学软件研究与创新中心的全体成员,以及西南大学部分研究生和本科生。

      暑期学校从2017.10.1610.1925教进行,其日程与课程内容请见附件,诚挚邀请您参加。

      

19-计信院学术报告-BeChong暑期学校-日程.pdf

19-计信院学术报告-BeChong暑期学校-授课信息.docx