A formal specification language and automatic modeling method of asset securitization contract

已完结

文献求助详情

标题	A formal specification language and automatic modeling method of asset securitization contract
网址	https://www.sciencedirect.com/science/article/pii/S131915782...
DOI	10.1016/j.jksuci.2024.102163 doi
其它	期刊：Journal of King Saud University - Computer and Information Sciences 作者：Yang Li; Kai Hu; Jie Li; Kaixiang Lu; Yuan Ai 出版日期：2024-08-23
求助人	美丽的老头在 2026-09-22 22:22:25 发布自北京，悬赏 10 积分
下载	求助已完成，仅限求助人下载。

上个求助

下个求助

提交工单

该求助已完结，感谢关注

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

站在巨人的肩膀上，才更有可能跳的更远

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

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

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

更新

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

更新

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

更新

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

新增

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

新增

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

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

实时播报: 吃了吃了完成签到，获得积分10

3秒前; astertuzi完成签到，获得积分10

3秒前; 合一海盗完成签到，获得积分0

14秒前; 科研通AI6.2的应助被科研通管家采纳，获得30

14秒前; 活力傲柏完成签到，获得积分10

29秒前; 爆米花上传了应助文件

44秒前; 贼吖完成签到，获得积分10

46秒前; 悲伤的小袁发布了新的文献求助10

48秒前; 自然的绮山完成签到，获得积分10

49秒前; 科研通AI6.4的应助被读书的时候采纳，获得10

49秒前; 科研通AI6.4的应助被今天吃早饭了么采纳，获得10

50秒前; 123完成签到，获得积分10

52秒前; 失眠一刀完成签到，获得积分10

54秒前; 悲伤的小袁完成签到，获得积分10

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

1分钟前; 会撒娇的思萱完成签到，获得积分10

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

1分钟前; 标致问安完成签到，获得积分10

1分钟前; 香蕉觅云的应助被TT采纳，获得10

1分钟前; 火山蜗牛完成签到，获得积分10

1分钟前; 健康的怜菡完成签到，获得积分10

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

1分钟前; 火山蜗牛发布了新的文献求助10

1分钟前; 今天吃早饭了么发布了新的文献求助10

1分钟前; 搜集达人的应助被Sylvia0814采纳，获得10

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

1分钟前; 李健的小迷弟上传了应助文件

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

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

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

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

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

1分钟前; My_magnum_opus发布了新的文献求助10

1分钟前; My_magnum_opus发布了新的文献求助10

1分钟前; My_magnum_opus发布了新的文献求助10

1分钟前; My_magnum_opus发布了新的文献求助10

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

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

1分钟前; 脑洞疼上传了应助文件

1分钟前; My_magnum_opus发布了新的文献求助10

1分钟前