SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
无奈的雅琴
Lv1
1
10 积分
2025-09-15 加入
最近求助
最近应助
互助留言
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
38分钟前
待确认
EsArCost: Estimating repair costs of software architecture erosion using slice technology
1小时前
已完结
没有进行任何应助
感谢
58分钟前
最近帖子
最近评论
没有发布任何帖子
没有发布任何评论
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
皖公网安备34019202002308
