首頁 > 雜志
軟件學(xué)報(bào)(2023年08期)
Journal of Software
-
- 基本信息
-
:中國科學(xué)院軟件研究所;中國計(jì)算機(jī)學(xué)會
:月刊
:1000-9825
- 出版信息
-
: 信息科技
: 計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用
:7688篇
- 評價(jià)信息
-
:5.201
:2.815
:
目 錄
- 約束求解與定理證明專題前言
- 基于不可滿足核的近似逼近可達(dá)性分析
- GC-MCR:有向圖約束指導(dǎo)的并發(fā)缺陷檢測方法
- 基于精化的TrustZone多安全分區(qū)建模與形式化驗(yàn)證
- L4虛擬內(nèi)存子系統(tǒng)的形式化驗(yàn)證
- 針對教學(xué)場景的ZFC集合論Coq形式化
- 強(qiáng)表達(dá)描述邏輯本體的后繼式公理定位研究
- 基于核外計(jì)算的Datalog引擎設(shè)計(jì)與實(shí)現(xiàn)
- 用戶特征請求分析與處理研究綜述
- 可信執(zhí)行環(huán)境訪問控制建模與安全性分析
- Streett自動機(jī)確定化工具
- 基于非交互式Petri網(wǎng)的異步程序驗(yàn)證模型和方法
- 基于函數(shù)式語義的循環(huán)和遞歸程序結(jié)構(gòu)通用證明技術(shù)
- 一個(gè)切換認(rèn)證的5G鑒權(quán)協(xié)議及其形式化分析
- 基于Petri網(wǎng)展開的多線程程序數(shù)據(jù)競爭檢測與重演
- 基于Capstone和流敏感混合執(zhí)行的自動化反混淆技術(shù)
- 反射剖面精確擬合的次表面散射計(jì)算方法
- 人工智能系統(tǒng)可信性度量評估研究綜述
- 電動自行車軌跡簡化與自適應(yīng)地圖匹配算法
- 顯式知識推理和深度強(qiáng)化學(xué)習(xí)結(jié)合的動態(tài)決策
- 基于貝葉斯網(wǎng)絡(luò)構(gòu)建RoboSim模型的自動駕駛行為決策
- 基于K Framework的向量化機(jī)器學(xué)習(xí)指令語義形式化
- 帶內(nèi)網(wǎng)絡(luò)遙測方法綜述
- 對一種白盒SM4方案的差分計(jì)算分析
- 基于深度學(xué)習(xí)的事件抽取研究綜述
- 基于流特征的數(shù)據(jù)中心非對稱流負(fù)載均衡方法