点击下载:南京大学:模型检测(PPT课件讲稿)Model Checking
正在加载图片...
欧洲阿丽亚娜5型火箭 1996年6月4日 因软件失效在 发射40秒后爆 炸,原因是惯 性参考系统 软件的数据 转换异常造 成的失效。欧洲阿丽亚娜5型火箭 1996年6月4日 因软件失效在 发射40秒后爆 炸,原因是惯 性参考系统 软件的数据 转换异常造 成的失效
<<向上翻页
向下翻页>>
点击下载:南京大学:模型检测(PPT课件讲稿)Model Checking
©2008-现在 cucdc.com 高等教育资讯网 版权所有