正确性保证的私有过程建模方法

您当前的位置：

首页 >

文章列表页 >

正确性保证的私有过程建模方法

科研通信 | 更新时间：2025-07-16

上一篇|下一篇

- 正确性保证的私有过程建模方法
- A Private Process Modeling Approach Guaranteeing Correctness
- 莫启，笪建，代飞，朱锐，林雷蕾，李彤
- 电子学报 2018年46卷第10期页码：2551-2560
- 作者机构：
  1. 云南大学软件学院,云南,昆明,650091
  2. 云南省软件工程重点实验室,云南,昆明,650091
  3. 淮安开放大学信息工程系,江苏,淮安,223001
  4. 西南林业大学大数据与智能工程学院,云南,昆明,650091
  5. 云南大学软件学院,云南,昆明,650091
  6. 云南省软件工程重点实验室,云南,昆明,650091
  7. 淮安开放大学信息工程系,江苏,淮安,223001
  8. 西南林业大学大数据与智能工程学院,云南,昆明,650091
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61462095，No.61862065，No.61702442，No.61662085，No.61379032）;云南省应用基础研究计划项目 (No.2016FB102，No.2018FB105）;云南省软件工程重点实验室开放基金面上项目 (No.2017SE201，No.2016SE202）;云南省中青年学术和技术带头人后备人才培养经费 (No.C6143002）;云南省教育厅科学研究基金资助性项目 (No.2017ZZX227）
- DOI： 10.3969/j.issn.0372-2112.2018.10.033
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

44

浏览量

36

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于模拟关系的编译优化实现正确性验证方法

CloAct：基于克隆关系和模体的关键类识别方法

包含绕包铝箔屏蔽的数据线缆信号完整性解析方法

RIS辅助宽带太赫兹ISAC系统鲁棒保密传输方法

面向多类型二值分割任务的混合专家自适应统一框架

相关作者

徐超

何炎祥

吴伟

陈勇

刘健博

相关机构

武汉大学计算机学院

徐州工业职业技术学院

软件工程国家重点实验室

武汉大学计算机学院湖北武汉

徐州工业职业技术学院江苏徐州