来自于: 信息科学与技术学院  | 分类: 学术科技与创新创业
项目级别

校级项目

报名:2021-03-29 10:35-至-2021-04-14 12:00
  •  课程时间:2021-04-15 14:00
     课程学时:1.0
  •  已报名人数:80/80
     课程类别:学术科技与创新创业
  •  课程地点:X2423
  •  选课校区:九里校区,犀浦校区
  •  面向对象:土木,机械,电气,信息,运输,经管,人文,外语,建筑,材料,离校,离休,MBA,临床,竺可桢书院,力学,数学,预科,城轨,物理,体育,计算机,生命,德语,思政,CAD,图书馆,地学,牵引,包装,工程院,艺术,公共,医学,物流,马院,留学生,武装部,茅院,利兹,交通实验室,信息化院,轨电,仿真,一带一路,招投标,产业处,常州院,超导,出版社,党办,统战部,组织部,党政,档案馆,合联处,附中,工会,国实,创业学院,国际处,国际教育学院,后勤处,机关党委,基础部,计财处,纪检办,纪委,教发展,教务,教务(峨眉),产业集团,工业,心理,资实处,保卫,招就处,科技园,科研院,离退处,陆地实验室,期刊社,其他,人事处,机关,峨眉,培训,加高部,宣传部,深研院,审计处,唐山办,唐研院,天府研院,团委,文科处,网络课程,校办,规建处,信息处,统战部,学生处,研究生院,远继,战略处,小学 2021,2020,2019,2018,2017,2016级本科生
  •  授课方式:讲座
  •  报名时间:2021-03-29 10:35/2021-04-14 12:00
  •  学时说明:参与者可获得1学时,组织者可获得2学时,请必须在第二课堂上进行选课,不接受后台导入

课程简介

基于安全苛求系统中的开发挑战,介绍形式化方法的定义及其发展历程;并通过开发案例,讲述形式化方法在系统开发过程中的应用场景与作用。

课程负责人

张鹏飞

联系方式:66362857

办公室地址:

第二联系方式:

主讲人

王恪铭

中国计算机协会会员,英国南安普顿大学电子与计算机系博士后。主持承担了国家自然基金、企业合作项目多项,研究成果获省级二级奖励1次。目前致力于形式化方法及其应用研究,并针对大规模工业PLC程序的验证难题,研究实现了具体的解决方法。

常见问题

暂无