Research on Runtime Verification for Software Behavior

已关闭

文献求助详情

标题	Research on Runtime Verification for Software Behavior
网址	https://doi.org/10.4156/ijact.vol4.issue21.79
DOI	10.4156/ijact.vol4.issue21.79 doi
其它	期刊：International Journal of Advancements in Computing Technology 作者：Zhibing Wang -; Changyun Li -; Shenglong Hu -; Junfeng Man - 出版日期：2012
求助人	干净的琦在 2026-03-17 23:10:29 发布自北京，悬赏 30 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

3个月前，求助关闭

科研通管家机器人关闭了本次求助。

说明求助超时（查看超时原因）自动关闭，请核实信息是否正确，如果确实需要，您可重新发布求助。【积分已退回】
3个月前

干净的琦 Lv12 求助人发起了本次求助

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 李爱国的应助被沉默小虾米采纳，获得10

1秒前; 白问寒发布了新的文献求助10

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

5秒前; Kao的应助被wei998采纳，获得30

6秒前; 急诊守夜人完成签到，获得积分10

8秒前; mou完成签到，获得积分10

8秒前; 高高的哈密瓜完成签到，获得积分10

17秒前; kellyzhang完成签到，获得积分10

17秒前; sagitar完成签到，获得积分0

18秒前; 小螃蟹完成签到，获得积分10

19秒前; 李爱国上传了应助文件

21秒前; 12完成签到，获得积分10

25秒前; 沉默小虾米发布了新的文献求助10

25秒前; 科研小白完成签到，获得积分10

26秒前; sbt完成签到，获得积分10

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

26秒前; huazhangchina发布了新的文献求助10

33秒前; 影子完成签到，获得积分10

33秒前; gongyh完成签到，获得积分10

33秒前; wei998完成签到，获得积分10

38秒前; 科研孙一完成签到，获得积分10

40秒前; 栗荔完成签到，获得积分10

42秒前; 小二郎上传了应助文件

43秒前; 李健的粉丝团团长的应助被蓝天0810采纳，获得30

44秒前; 隐形曼青上传了应助文件

45秒前; Mr_龙在天涯完成签到，获得积分10

45秒前; 筱诸雄完成签到，获得积分10

46秒前; 情怀上传了应助文件

47秒前; Kao上传了应助文件

48秒前; 豌豆完成签到，获得积分10

48秒前; 铁树发布了新的文献求助10

50秒前; 沉默小虾米发布了新的文献求助10

51秒前; gooofy发布了新的文献求助50

51秒前; 晓风残月完成签到，获得积分10

52秒前; WW完成签到，获得积分10

52秒前; Nole上传了应助文件

54秒前; 包子完成签到，获得积分10

55秒前; 体贴洋葱完成签到，获得积分10

58秒前; 缓慢白曼完成签到，获得积分10

1分钟前; 芋泥小天才完成签到，获得积分10

1分钟前