软件及软件开发工具

• 来源期刊: 电子科技文摘
• 学科: 工学
• 关键词: 软件开发工具 并行系统 模型检验 面向对象 CONCURRENT 数据仓库 软件质量保证 程序分析 管理软件开发 软件可靠性工程
• 年，卷（期）: 2002,（5）
• 页码范围: 110-112
• 页数: 3页
• 分类号: TP311.52

摘要

【正】 Y2001-62925-77 0209181具有 SDL 规则的并行系统模型检验=Model checkingof concurrent system with SDL——specifjication[会,英]/Blaskovic,B.& Dembitz,S.//2000 IEEEMediterranean Electrotechnical Conference,Vol 1 of 3:Regional Commumcation and Information Technology.—77～80(E)