一种PLC程序自动生成方法的正确性证明

发布者:邢婉秋发布时间:2021-05-29浏览次数:169

答辩类型工学硕士论文答辩
答辩题目一种PLC程序自动生成方法的正确性证明
答辩人魏梓健
答辩人学号181689
指导教师周晓宇 副教授
答辩委员会主任陈林 副教授
答辩委员钱巨 副教授、张祥 副教授、汪鹏 副教授
答辩秘书邢婉秋
答辩时间2021年53109:00-12:00
答辩地点计算机楼233