首页 > 杂志
软件学报(2024年09期)
Journal of Software
-
- 基本信息
-
:中国科学院软件研究所;中国计算机学会
:月刊
:1000-9825
- 出版信息
-
: 信息科技
: 计算机软件及计算机应用
:7688篇
- 评价信息
-
:5.201
:2.815
:
目 录
- 关于安全案例论证构建的综述
- 完备神经网络验证加速技术综述
- 基于交互式定理证明的并发程序验证工作综述
- 舰载机弹药保障作业调度的形式化建模与验证
- 基于优先级时间Petri网的实时嵌入式多核系统分析
- 并发对象强可线性化性质的检测和验证
- 基于DH标定的机器人正向运动学形式化验证
- 微内核操作系统互斥量模块功能正确性的形式化验证
- 基于形式化方法的区块链系统漏洞检测模型
- 命令式动态规划类算法程序推导及机械化验证
- Trie+结构函数式建模、机械化验证及其应用
- 基于MTRDL的自动飞行系统模式需求建模与验证方法
- 基于AADL的混合关键系统随机错误与突发错误安全性分析
- Büchi自动机确定化分析工具
- 基于胶囊异构图注意力网络的中文表格型数据事实验证
- 基于IR-UWB的睡眠状态下人体呼吸波形检测方法
- Pobe:一种基于生成式模型的分布外文本检测方法
- 属性建模与课程学习相结合的属性级情感分类方法
- 基于重要性采样的超图网络高效表示方法
- 基于二部图的联合谱嵌入多视图聚类算法
- 基于静态与动态学习需求感知的知识点推荐方法
- 规则与概率相结合的不一致数据子集修复方法
- 面向数据库配置优化的反事实解释方法
- 形式化方法与应用专题前言
- 《软件学报》投稿指南