发布文献求助
清晨好，您是今天最早来到科研通的研友！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您科研之路漫漫前行！
求助中
  • 文献求助详情
标题
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
软件体系结构安全漏洞规范与验证的模型驱动形式化方法
相关领域
计算机科学 形式化方法 软件工程 软件安全保证 正式规范 程序设计语言 模型检查 形式验证 计算机安全 信息安全 保安服务
网址
https://doi.org/10.1016/j.jss.2024.112219
DOI
10.1016/j.jss.2024.112219 doi
其它 期刊：Journal of Systems and Software
作者：Quentin Rouland; Brahim Hamid; Jason Jaskolka
出版日期：2024-09-16
求助人
李长吉 在 2025-05-08 21:29:08 发布自黑龙江，悬赏 10 积分
下载 暂无链接，等待应助者上传
 
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
上个求助
下个求助
相关文献
  1. Formal Verification of an Oral Messages Algorithm for Interactive Consistency
  2. A property specification tool for generating formal specifications: Prospec 2.0
  3. Formal requirements specification in safety-critical railway signaling system
  4. Analysis of the Formal Specification Application for Train Control Systems
  5. Agent-based model checking verification framework
  6. The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems
  7. Validation of Embedded Systems Using Formal Method Aided Simulation
  8. 열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
  9. Improving the Digital Design with Semi-formal Specification
  10. Z와 Statechart에 의한 열차제어시스템 바이탈 소프트웨어 개발 방법 분석
　...点击展开更多...　
求助 / 应助时间线

  • 现在，等待您上传文献

  • 8小时前

    科研通AI2.0 科研通AI2.0 机器人 未找到该文献，机器人已退出，请等待人工下载

    21:29:11 未找到该文献，机器人已退出，请等待人工下载
    21:29:08 科研通AI机器人（英国 伦敦）收到请求，开始寻找文献
    21:29:08 已向机器人发送请求

  • 8小时前

    李长吉 李长吉 Lv2 求助人 发起了本次求助

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
含糊的茹妖完成签到 ，获得积分0
33秒前
sysi完成签到 ，获得积分10
1分钟前
风里有声音完成签到 ，获得积分10
1分钟前
科研通AI2S的应助被一只羊采纳，获得10
1分钟前
xl完成签到 ，获得积分10
2分钟前
科研通AI2S的应助被yyy采纳，获得10
3分钟前
Barid完成签到，获得积分10
3分钟前
3分钟前
3分钟前
我啊发布了新的文献求助10
4分钟前
汉堡包的应助被我啊采纳，获得20
4分钟前
科研通AI2S的应助被科研通管家采纳，获得10
4分钟前
小小完成签到 ，获得积分10
4分钟前
科研通AI2S的应助被yyy采纳，获得10
5分钟前
poki完成签到 ，获得积分10
5分钟前
刘刘完成签到 ，获得积分10
5分钟前
5分钟前
5分钟前
6分钟前
6分钟前
001发布了新的文献求助10
6分钟前
科研通AI2S的应助被科研通管家采纳，获得10
6分钟前
6分钟前
znchick完成签到，获得积分10
6分钟前
6分钟前
maggiexjl完成签到，获得积分10
6分钟前
6分钟前
赧赧完成签到 ，获得积分10
7分钟前
7分钟前
邹醉蓝完成签到，获得积分10
7分钟前
紫苏完成签到，获得积分0
7分钟前
001关闭了001的文献求助
7分钟前
爱静静完成签到，获得积分0
7分钟前
在水一方完成签到 ，获得积分10
7分钟前
CherylZhao完成签到，获得积分10
8分钟前
甜甜的tiantian完成签到 ，获得积分10
8分钟前
8分钟前
科研通AI2S的应助被予秋采纳，获得10
8分钟前
宇文非笑完成签到 ，获得积分0
8分钟前
asdwind完成签到，获得积分10
9分钟前
高分求助中
Les Mantodea de Guyane Insecta, Polyneoptera 2500
Mobilization, center-periphery structures and nation-building 600
Technologies supporting mass customization of apparel: A pilot project 600
Introduction to Strong Mixing Conditions Volumes 1-3 500
Fine Chemicals through Heterogeneous Catalysis 430
China—Art—Modernity: A Critical Introduction to Chinese Visual Expression from the Beginning of the Twentieth Century to the Present Day 430
Multichannel rotary joints-How they work 400
热门求助领域 （近24小时）
化学 材料科学 医学 生物 工程类 有机化学 物理 生物化学 纳米技术 计算机科学 化学工程 内科学 复合材料 物理化学 电极 遗传学 量子力学 基因 冶金 催化作用
热门帖子
关注 科研通微信公众号，转发送积分 3795608
求助须知：如何正确求助？哪些是违规求助？ 3340645
关于积分的说明 10300891
捐赠科研通 3057168
什么是DOI，文献DOI怎么找？ 1677522
邀请新用户注册赠送积分活动 805449
科研通“疑难数据库（出版商）”最低求助积分说明 762626
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通