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

书籍简介:

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

书籍规格:

书籍信息归属:

形式化方法在构件组装实时系统中的应用研究是中央民族大学出版社于2019.5出版的中图分类号为 TP316.2 的主题关于 形式语言－应用－实时操作系统－研究 的书籍。