发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！
待确认
  • 文献求助详情
标题
A Comprehensive Formal Specification of ARINC 653 With Conformity Proof
具有一致性证明的ARINC 653的综合形式规范
相关领域
一致性 概念证明 计算机科学 程序设计语言 操作系统 心理学 社会心理学
网址
https://doi.org/10.1002/stvr.1901
DOI
10.1002/stvr.1901 doi
其它 期刊：Software Testing Verification and Reliability
作者：Feng Zhang; Yongwang Zhao; Yang Liu; Jun Sun
出版日期：2024-10-01
求助人
toykk 在 2024-12-04 14:11:00 发布，悬赏 10 积分
下载
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Social structure and the effects of conformity
  2. Scholarly conformity: Origins, framework, applications and implications
  3. ИСПОЛЬЗОВAНИЕ ПОТЕНЦИAЛA СОЦИAЛЬНЫХ ПAРТНЕРОВ В ПОДГОТО...
  4. Benevolent Conformity: The Influence of Perceived Motives on Judgments of Conformity
  5. The effects of reinforcement and social approval on conforming behaviour
  6. Why do We Follow Robots? An Experimental Investigation of Conformity with Robot, Human, and Hybrid M...
  7. An Empirical Study of Chinese Urban Adolescents' Conformity,Non-conformity and Counter-conformity Co...
  8. Susquehanna Chorale Spring Concert "Roots and Wings"
  9. SOCIAL CONFORMITY AND NON-CONFORMITY IN THE NOVELS OF FONTANE
  10. New National Conformity — Macro Examination of History of New China in the First Three Years
　...点击展开更多...　
求助 / 应助时间线

  • 请等待求助人确认

    已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
    如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。

  • 11小时前

    科研通AI2S 科研通AI2S 机器人Lv12 上传了文件

    待审核 Software Testing Verif Rel - 2024 - Feng - A Comprehensive Formal Specification of ARINC 653 With Conformity Proof.pdf (2.62 MB)

  • 11小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    14:11:02 未找到该文献，机器人已退出，请等待人工下载
    14:11:00 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    14:11:00 已向机器人发送请求

  • 11小时前

    toykk toykk 求助人 Lv1 发起了本次求助

更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
哇咔咔完成签到 ，获得积分10
5秒前
5秒前
7秒前
小北完成签到，获得积分10
8秒前
橙子关注了科研通微信公众号
9秒前
曲奇喵发布了新的文献求助10
12秒前
小猫无极发布了新的文献求助30
17秒前
孤独的采珊完成签到 ，获得积分10
17秒前
20秒前
林香香完成签到，获得积分10
22秒前
桐桐的应助被朴实老虎采纳，获得10
26秒前
大猩猩完成签到 ，获得积分10
27秒前
jwq完成签到，获得积分10
27秒前
大锤哥完成签到，获得积分10
30秒前
33秒前
白桦林泪发布了新的文献求助10
37秒前
君莫笑完成签到 ，获得积分10
53秒前
景宛白完成签到，获得积分10
53秒前
爱静静的应助被小樊采纳，获得10
56秒前
zhl完成签到，获得积分10
1分钟前
住在向高别墅完成签到，获得积分10
1分钟前
1分钟前
朴实老虎发布了新的文献求助10
1分钟前
慕青的应助被科研通管家采纳，获得10
1分钟前
科研通AI2S的应助被科研通管家采纳，获得10
1分钟前
1分钟前
1分钟前
123发布了新的文献求助10
1分钟前
碧蓝皮卡丘完成签到，获得积分10
1分钟前
橙子完成签到，获得积分10
1分钟前
1分钟前
auraro完成签到 ，获得积分10
1分钟前
隐形曼青的应助被123采纳，获得10
1分钟前
1分钟前
旱田蜗牛发布了新的文献求助10
1分钟前
JamesPei的应助被旱田蜗牛采纳，获得10
1分钟前
香蕉傲之完成签到 ，获得积分10
1分钟前
木子水告完成签到，获得积分10
1分钟前
林狗完成签到 ，获得积分10
1分钟前
hugeyoung完成签到，获得积分10
1分钟前
高分求助中
Evolution 3rd edition 1500
Lire en communiste 1000
Mantiden: Faszinierende Lauerjäger Faszinierende Lauerjäger 700
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 700
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
2-Acetyl-1-pyrroline: an important aroma component of cooked rice 500
Ribozymes and aptamers in the RNA world, and in synthetic biology 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3179819
求助须知：如何正确求助？哪些是违规求助？ 2830312
关于积分的说明 7976270
捐赠科研通 2491789
什么是DOI，文献DOI怎么找？ 1328925
科研通“疑难数据库（出版商）”最低求助积分说明 635580
版权声明 602927
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通