工业关键系统的形式化方法:应用综述-作者: 格涅斯-PDF电子书

作者: 格涅斯   
出版社:机械工业出版社*
ISBN:9787111485216
上架时间:2015-1-19
开本:16开  电子书
页码:228
版次:1-1

内容简介:形式化方法以数学为基础,其目标是建立精确的、无二义性的语义,对系统开发的各个阶段进行有效地描述,使系统的结构具有先天的合理性、正确性和良好的维护性,能较好地满足用户需求。《工业关键系统的形式化方法:应用综述》记录和展示了作者关于形式化方法如何在工业关键系统中进行应用的研究成果。《工业关键系统的形式化方法:应用综述》分为6部分。第1部分是概述;第2部分致力于介绍建模范例;第3部分介绍了包括形式化方法和相关工具的使用以及应用程序在实际系统领域的发展;第4部分则向读者展示了形式化方法在通信系统中的发展和成果;第5部分则介绍了形式化方法在互联网和在线服务方面的应用;而在第6部分则介绍了实时应用程序的形式化方法。《工业关键系统的形式化方法:应用综述》可用作高等院校计算机科学、自动化相关专业本科生、研究生以及教师的参考用书,也可作为业内专业人士的参考书。

隐藏内容,您需要满足以下条件方可查看
End

人已赞赏
工业技术电子书

高频开关型逆变器及其并联并网技术-作者: 孙孝峰/顾和荣/王立乔/邬伟扬-PDF电子书

2020-11-20 13:52:13

工业技术电子书

工业预测控制-作者: 丁宝苍-PDF电子书

2020-11-22 9:43:42

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
有新私信 私信列表
搜索
网站地图