全部版块 我的主页
› 论坛 › 提问 悬赏 求职 新闻 读书 功能一区 › 悬赏大厅 › 求助成功区
Stepwise abstraction of high-level system specifications from source code
qrj69
911 10
2025-09-19
悬赏 1 个论坛币 已解决
【作者(必填)】[backcolor=rgba(0, 0, 0, 0)][size=1em]Flavio Ferrarotti a, Michael Moser a, Josef Pichler b
【文题(必填)】Stepwise abstraction of high-level system specifications from source code
【年份(必填)】

[backcolor=rgba(0, 0, 0, 0)][size=1em]Volume 60

,

October 2020

, 100996



【全文链接或数据库名称(选填)】https://www.sciencedirect.com/science/article/abs/pii/S2590118420300563

最佳答案

richardaughter 查看完整内容

二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

全部回复
richardaughter
2025-9-19 10:00:05

附件: 您需要登录才可以下载或查看附件。没有帐号？我要注册
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

bkm006
2025-9-19 11:09:22



附件: 您需要登录才可以下载或查看附件。没有帐号？我要注册
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

SleepyTom
2025-9-19 20:56:13
请问是这篇论文吗？
附件: 您需要登录才可以下载或查看附件。没有帐号？我要注册
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

yiyijiayuan
2025-9-20 06:01:04
纯粹路过。
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

babylaugh
2025-9-20 09:10:54
点赞分享
二维码

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

点击查看更多内容…
相关推荐
栏目导航
热门文章
推荐文章

说点什么

分享

微信QQ空间QQ微博
扫码加好友，拉您进群
各岗位、行业、专业交流群