复杂软件系统的不确定性

著录项

• 来源
  《软件学报》 |2021年第7期|1926-1956|共31页
• 作者

  檀超; 张静宣; 王铁鑫; 岳涛;

  展开▼
• 作者单位

  南京航空航天大学计算机科学与技术学院 江苏南京211106;

  高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京211106;

  南京航空航天大学计算机科学与技术学院 江苏南京211106;

  高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京211106;

  南京航空航天大学计算机科学与技术学院 江苏南京211106;

  高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京211106;

  南京航空航天大学计算机科学与技术学院 江苏南京211106;

  高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 江苏南京211106;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  不确定性; 系统研究; 信息物理系统; 物联网;