SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Formal Methods in Avionic Software Certification: The DO-178C Perspective
计算机科学
软件工程
形式化方法
认证
软件开发
航空电子设备
软件建设
领域（数学分析）
验证和确认
航空电子软件
软件
系统工程
工程管理
程序设计语言
工程类
数学分析
运营管理
数学
政治学
法学
航空航天工程
作者
Gabriella Gigante,
Domenico Pascarella
出处
期刊：
Lecture Notes in Computer Science
日期：2012-01-01
卷期号：: 205-215
被引量：21
标识
DOI：10.1007/978-3-642-34032-1_21
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
2024年影响因子查询已上线
(2024-6-20)
更新
大幅提高文件上传限制，最高150M
(2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
momo
完成签到，获得积分
10
1秒前
莫离
完成签到，获得积分
10
1秒前
Megyer
完成签到，获得积分
10
1秒前
乐宝
完成签到，获得积分
10
1秒前
陈宝宝
完成签到，获得积分
10
2秒前
浅笑
上传了
应助文件
2秒前
从容雨筠
完成签到，获得积分
10
3秒前
帅哥
完成签到，获得积分
10
3秒前
斯文的夜雪
完成签到
，获得积分
10
4秒前
hugdoggy
完成签到，获得积分
10
4秒前
一三二五七
完成签到
，获得积分
0
4秒前
实验室迷因水母
完成签到，获得积分
10
5秒前
重要的问芙
完成签到，获得积分
10
5秒前
光崽是谁
完成签到，获得积分
10
5秒前
Akim
上传了
应助文件
6秒前
秀丽烨霖
的
应助
被
大观天下
采纳，获得
10
6秒前
淡定雅山
完成签到，获得积分
10
8秒前
听话的破茧
完成签到，获得积分
10
8秒前
Jerry
完成签到，获得积分
10
8秒前
粗犷的沛容
完成签到，获得积分
10
9秒前
Hello
的
应助
被
刘铭晨
采纳，获得
10
11秒前
liusaiya
发布了新的
文献求助
10
13秒前
星辰大海
上传了
应助文件
14秒前
yyymmma
完成签到
，获得积分
10
14秒前
大头粽
完成签到，获得积分
10
14秒前
情怀
上传了
应助文件
15秒前
ezvsnoc
完成签到，获得积分
10
15秒前
陈宗琴
完成签到，获得积分
10
16秒前
皇帝的床帘
完成签到，获得积分
10
16秒前
黎明
完成签到，获得积分
10
17秒前
枫威
完成签到
，获得积分
10
17秒前
酷炫魂幽
完成签到，获得积分
10
18秒前
动听乐珍
发布了新的
文献求助
30
18秒前
乐乐
上传了
应助文件
18秒前
kjlee
完成签到，获得积分
0
18秒前
linxm7
完成签到，获得积分
10
19秒前
奥特超曼
完成签到，获得积分
10
20秒前
111
完成签到，获得积分
10
20秒前
wmszhd
完成签到，获得积分
10
20秒前
haifang
发布了新的
文献求助
10
21秒前
高分求助中
The late Devonian Standard Conodont Zonation
2000
Nickel superalloy market size, share, growth, trends, and forecast 2023-2030
2000
The Lali Section: An Excellent Reference Section for Upper - Devonian in South China
1500
Very-high-order BVD Schemes Using β-variable THINC Method
890
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger
800
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger
800
A new species of Coccus (Homoptera: Coccoidea) from Malawi
500
热门求助领域
（近24小时）
化学
医学
生物
材料科学
工程类
有机化学
生物化学
物理
内科学
纳米技术
计算机科学
化学工程
复合材料
基因
遗传学
催化作用
物理化学
免疫学
量子力学
细胞生物学
热门帖子
关注
科研通微信公众号，转发送积分
3257190
求助须知：如何正确求助？哪些是违规求助？
2899091
关于积分的说明
8303699
捐赠科研通
2568424
什么是DOI，文献DOI怎么找？
1395064
科研通“疑难数据库（出版商）”最低求助积分说明
652936
邀请新用户注册赠送积分活动
630683
今日热心研友
带头大哥
21
1150
爱静静
82
80
寻道图强
15
450
Billy
20
270
yangguang2000
21
100
平常的毛豆
29
双黄
12
150
嗯哼
260
杳鸢
260
妖娃娃
200
苹果丑
6
130
秀丽烨霖
13
从容芮
7
50
ppg123
4
80
tuanheqi
110
科目三
4
60
美好斓
100
Yziii
90
membrane
9
方赫然
90
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
带头大哥
爱静静
寻道图强
Billy
yangguang2000
平常的毛豆
双黄
嗯哼
杳鸢
妖娃娃
苹果丑
秀丽烨霖
从容芮
ppg123
tuanheqi
科目三
美好斓
Yziii
membrane
方赫然
皖公网安备34019202002308
