Formal Methods in Avionic Software Certification: The DO-178C Perspective

已完结

文献求助详情

标题	书籍（章节） Formal Methods in Avionic Software Certification: The DO-178C Perspective 航空电子软件认证中的形式化方法：DO-178C视角相关领域计算机科学软件工程形式化方法认证软件开发航空电子设备软件建设领域（数学分析）验证和确认航空电子软件软件系统工程工程管理程序设计语言工程类数学分析运营管理数学政治学法学航空航天工程
网址	https://doi.org/10.1007/978-3-642-34032-1_21
DOI	10.1007/978-3-642-34032-1_21 doi
其它	期刊：Lecture notes in computer science 作者：Gabriella Gigante; Domenico Pascarella 出版日期：2012-01-01
求助人	西瓜在 2024-12-24 16:47:21 发布自上海，悬赏 30 积分
下载	求助已完成，仅限求助人下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

National Center for Biotechnology Information

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

老实憨厚无套路，服务科研追梦人

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: tang发布了新的文献求助10

1秒前; 深情安青上传了应助文件

1秒前; QUU完成签到，获得积分10

2秒前; 小马甲上传了应助文件

2秒前; Akim上传了应助文件

3秒前; zz完成签到，获得积分10

3秒前; 心灵美绝施发布了新的文献求助10

3秒前; 星河完成签到，获得积分10

3秒前; 乐乐的应助被蟹子爱吃鱼采纳，获得10

4秒前; 无私映秋发布了新的文献求助30

4秒前; 我爱科研完成签到，获得积分10

5秒前; 852上传了应助文件

5秒前; 健忘丹珍发布了新的文献求助10

5秒前; 123发布了新的文献求助10

5秒前; 英姑上传了应助文件

5秒前; 郭梓韵完成签到，获得积分10

5秒前; zhangjie3081发布了新的文献求助10

6秒前; DrLiu发布了新的文献求助10

6秒前; 科研通AI2S上传了应助文件

6秒前; 乐乐的应助被sun采纳，获得30

7秒前; 万能图书馆上传了应助文件

8秒前; 小蘑菇的应助被受伤千易采纳，获得10

8秒前; 友好的尔容发布了新的文献求助10

9秒前; gaw2008完成签到，获得积分10

9秒前; 是然宝啊发布了新的文献求助10

9秒前; ldh发布了新的文献求助10

10秒前; 爆米花上传了应助文件

10秒前; 优秀凡波发布了新的文献求助10

13秒前; blablawindy发布了新的文献求助10

14秒前; Ava上传了应助文件

14秒前; 完美世界上传了应助文件

15秒前; 友好的尔容完成签到，获得积分10

16秒前; 苡木完成签到，获得积分10

16秒前; 领导范儿的应助被心灵美绝施采纳，获得10

18秒前; 糖果乖乖发布了新的文献求助10

18秒前; 斯文败类的应助被blablawindy采纳，获得10

19秒前; zry发布了新的文献求助10

20秒前; 李健的粉丝团团长的应助被激动的猫咪采纳，获得10

20秒前; 科研通AI2S上传了应助文件

21秒前; 嗯哼上传了应助文件

22秒前