首页|期刊导航|吉林大学学报（理学版）|C/ATLAS单动作测试语句实现的操作语义描述

C/ATLAS单动作测试语句实现的操作语义描述

郭德贵刘磊张晶

吉林大学学报（理学版）2008，Vol.46Issue(1)：55-61,7.

Operational Semantics for Single-action Statements of C/ATLAS

郭德贵 ¹刘磊 ¹张晶¹

作者信息

ATLAS/C/ATLAS/操作语义/单动作语句

信息技术与安全科学

郭德贵,刘磊,张晶..C/ATLAS单动作测试语句实现的操作语义描述[J].吉林大学学报（理学版）,2008,46(1):55-61,7.

吉林省科技发展计划项目基金(批准号:20050527). （批准号:20050527）

OA北大核心CSCDCSTPCD

ISSN：1671-5489

访问量0

下载量0

段落导航