A framework for embedded software portability and verification: from formal models to low-level code

已完结

文献求助详情

标题	A framework for embedded software portability and verification: from formal models to low-level code
网址	http://dx.doi.org/10.1007/s10270-023-01144-y
DOI	10.1007/s10270-023-01144-y doi
其它	期刊：Software and Systems Modeling 作者：Renata Martins Gomes; Bernhard Aichernig; Marcel Baunach 出版日期：2024-02-01
求助人	123 在 2026-11-06 11:07:05 发布自北京，悬赏 10 积分
下载	求助已完成，仅限求助人或该文件上传人下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

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

科研通的所有服务均免费，并承诺对个人用户永久免费！

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

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

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

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

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

实时播报: 慕青上传了应助文件

1秒前; 陈龙发布了新的文献求助10

1秒前; CipherSage的应助被量子猫采纳，获得10

1秒前; 学术雷锋的应助被自己采纳，获得20

1秒前; 学术雷锋的应助被自己采纳，获得20

1秒前; 11发布了新的文献求助10

1秒前; 大模型上传了应助文件

1秒前; 医心一意发布了新的文献求助10

1秒前; 愤怒的迎南发布了新的文献求助10

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

2秒前; 虎虎完成签到，获得积分10

2秒前; albert发布了新的文献求助10

3秒前; Orange上传了应助文件

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

4秒前; 科研通AI6.4的应助被哎呦薯片采纳，获得10

4秒前; 西瓜皮发布了新的文献求助20

5秒前; 曹熙缘发布了新的文献求助10

5秒前; 英俊的铭上传了应助文件

5秒前; 英姑的应助被云隐采纳，获得10

6秒前; 研友_VZG7GZ上传了应助文件

6秒前; 一个结晶水发布了新的文献求助10

6秒前; Medical_Monk完成签到，获得积分10

6秒前; 愉快的真发布了新的文献求助10

7秒前; 花薇Liv完成签到，获得积分10

7秒前; emmm发布了新的文献求助10

7秒前; Criminology34上传了应助文件

8秒前; 科研通AI6.4上传了应助文件

8秒前; 111发布了新的文献求助10

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

9秒前; 哥布林勇闯新世界完成签到，获得积分10

10秒前; 余弦发布了新的文献求助10

10秒前; MM的应助被tong采纳，获得20

11秒前; 汉堡包上传了应助文件

12秒前; 勤恳的语蝶发布了新的文献求助10

12秒前; 研友_VZG7GZ上传了应助文件

13秒前; 无语的电源驳回了小二郎的应助

14秒前; 11完成签到，获得积分10

14秒前; qxq发布了新的文献求助10

14秒前; envir完成签到，获得积分10

14秒前; 张博雅完成签到，获得积分10

16秒前