《形式化方法在构件组装实时系统中的应用研究》

作者：

出版社： 中央民族大学出版社

CIP号：2019087909

书号：978-7-5660-1668-3

出版地：北京

出版时间：2019.5

定价：￥68.0

席琳，中央民族大学信息化建设管理处工程师，计算机软件与理论专业工学博士，研究方向为信息安全，软件工程，形式化方法，教育信息化应用，在核心期刊及国际会议发表论文数篇。目前参加的省部级课题3项。马传连，中央民族大学信息化建设管理处高级工程师。主要研究方向：教育信息化应用等。