通信软件系统开发的形式化描述技术与评价

著录项

• 来源
  《安徽省电机工程学会首届青年科技学术交流会》|2001年|142-146|共5页
• 会议地点 合肥
• 作者

  琚川徽; 袁兆山;

  展开▼
• 作者单位

  中国电机工程学会;

  展开▼
• 会议组织
• 正文语种
• 原文格式 PDF
• 中图分类 软件工程;
• 关键词

  通信软件系统; 形式化描述; 评价标准;