一个面向时序规格说明模式语言SPS4PLC的PLC程序自动验证原型工具的设计与实现

发布者:蔡志玲发布时间:2020-07-20浏览次数:411

东南大学


硕士学位论文答辩会情况表


硕士生学号、姓名

171751项佶恺

导师姓名、职称

周晓宇副教授

论文字数

6

所 在 院 系

计算机科学与工程学院

研究方向

软件工程

论文题目

一个面向时序规格说明模式语言SPS4PLCPLC程序自动验证原型工具的设计与实现

答辩日期

2020.7.21

答辩地点

在线答辩

zoom会议ID66909660318

密码:565006

职务

姓名

职称

是否硕导

工作单位

主席

翟玉庆

教授

硕导

东南大学

张代新

高工

南京南瑞继保工程技术有限公司

周勇

副教授

南京航空航天大学

张竞慧

副教授

硕导

东南大学





答辩秘书

蔡志玲


025-52090983

东南大学

欢迎旁听!



  • 联系方式
  • 通信地址:南京市江宁区东南大学路2号东南大学九龙湖校区计算机学院
  • 邮政编码:211189
  • ​办公地点:东南大学九龙湖校区计算机楼
  • 学院微信公众号