VERTAF: an application framework for the design and verification of embedded real-time software

已完结

文献求助详情

标题	VERTAF: an application framework for the design and verification of embedded real-time software
网址	http://xplorestaging.ieee.org/ielx5/32/29528/01339277.pdf?ar...
DOI	10.1109/tse.2004.68 doi
其它	期刊：IEEE Transactions on Software Engineering 作者： Pao-Ann Hsiung; Shang-Wei Lin; Chih-Hao Tseng; Trong-Yen Lee; Jin-Ming Fu; Win-Bin See 出版日期：2004-10-05
求助人	Huaaaaai 在 2026-03-17 10:19:30 发布自陕西，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

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

科研通，让源源不断科研创作灵感的涌现之地

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

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: Singularity关闭了Singularity的文献求助

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

5秒前; Wucaihong完成签到，获得积分10

5秒前; 刘雪松完成签到，获得积分10

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

18秒前; Singularity完成签到，获得积分0

23秒前; cat上传了应助文件

23秒前; 大方定帮完成签到，获得积分10

24秒前; xiaoxiao完成签到，获得积分10

26秒前; 完美世界的应助被欧欧拉格朗日采纳，获得10

26秒前; 烟花上传了应助文件

29秒前; cat上传了应助文件

34秒前; 佟靖宇发布了新的文献求助10

36秒前; wood完成签到，获得积分10

37秒前; cat上传了应助文件

47秒前; 不想起床完成签到，获得积分10

49秒前; 有魅力的聪展完成签到，获得积分10

56秒前; 好运来完成签到，获得积分10

1分钟前; CPU完成签到，获得积分10

1分钟前; aguiguigui完成签到，获得积分10

1分钟前; 从容的绿蝶完成签到，获得积分10

1分钟前; 文2026完成签到，获得积分10

1分钟前; cat上传了应助文件

1分钟前; Nole的应助被虚拟的易文采纳，获得10

2分钟前; Lucas的应助被粗心的梦竹采纳，获得10

2分钟前; cat上传了应助文件

2分钟前; 王桑完成签到，获得积分10

2分钟前; v0id的应助被虚拟的易文采纳，获得10

2分钟前; cat上传了应助文件

2分钟前; 橘络完成签到，获得积分10

2分钟前; keyan123完成签到，获得积分10

2分钟前; cat上传了应助文件

2分钟前; 科研通AI2S上传了应助文件

2分钟前; 坚定的咖啡完成签到，获得积分10

2分钟前; Hello的应助被浩川采纳，获得10

2分钟前; cat上传了应助文件

2分钟前; 宋相甫发布了新的文献求助20

2分钟前; 娜娜发布了新的文献求助10

2分钟前; 宋相甫完成签到，获得积分10

2分钟前; shilly完成签到，获得积分10

2分钟前