楼主: qrj69
1061 10

[文献] Stepwise abstraction of high-level system specifications from source code [推广有奖]

  • 1关注
  • 3粉丝

已卖：258份资源

教授

40%

还不是VIP/贵宾

-

0%
威望
0 级
论坛币
20571 个
通用积分
35.6390
学术水平
0 点
热心指数
1 点
信用等级
-5 点
经验
9167 点
帖子
605
精华
0
在线时间
923 小时
注册时间
2009-12-13
最后登录
2026-10-21
楼主
qrj69 发表于 2025-9-19 10:00:04 |AI写论文
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 查看完整内容

分享0
关键词：Specific abstract stepwise Action cation

相关帖子

我好无聊

沙发
richardaughter 学生认证  发表于 2025-9-19 10:00:05

附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 2 人评分经验 论坛币 收起 理由
giresse + 50 精彩帖子
cheetahfly + 100 精彩帖子

总评分: 经验 + 100  论坛币 + 50   查看全部评分

藤椅
bkm006 在职认证  发表于 2025-9-19 11:09:22



附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 2 人评分经验 论坛币 收起 理由
giresse + 50 精彩帖子
cheetahfly + 100 精彩帖子

总评分: 经验 + 100  论坛币 + 50   查看全部评分

科研文献保障，疑难书籍查找扫描。

板凳
SleepyTom 发表于 2025-9-19 20:56:13
请问是这篇论文吗？
附件: 你需要登录才可以下载或查看附件。没有帐号？我要注册
已有 2 人评分经验 论坛币 收起 理由
giresse + 50 精彩帖子
cheetahfly + 100 精彩帖子

总评分: 经验 + 100  论坛币 + 50   查看全部评分

报纸
yiyijiayuan 在职认证  发表于 2025-9-20 06:01:04
纯粹路过。
地板
babylaugh 发表于 2025-9-20 09:10:54
点赞分享
7楼
军旗飞扬 在职认证  发表于 2025-9-20 11:33:20

8楼
lenore2005 发表于 2025-9-20 12:31:14

点赞分享
9楼
512661101 发表于 2025-9-20 14:44:03

10楼
waitlan 在职认证  学生认证  发表于 2025-9-20 17:48:47
感谢分享，学习了！
返回列表
12下一页
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 我要注册

本版微信群
扫码
拉您进交流群

京ICP备16021002号-2 京B2-20170662号 京公网安备 11010802022788号 论坛法律顾问：王进律师 知识产权保护声明   免责及隐私声明   用户协议

GMT+8, 2026-11-13 21:27