• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. A Latent Implementation Error Detection Method for Software Validation SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Liu, J;Wu, JZ;Zhong, GD

作者全称:Zhou, Jiantao;Liu, Jing;Wu, Jinzhao;Zhong, Guodong

作者机构:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.; [Wu, Jinzhao] Guangxi Univ Nationali 更多

第一署名单位:[Zhou, Jiantao; Liu, Jing; Zhong, Guodong] Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Hohhot 010021, Peoples R China.

来源:JOURNAL OF APPLIED MATHEMATICS,2013,Vol.2013

基金:National Natural Science Foundation of China [61262082, 61262017,; 61163011, 60973147]; Chinese Ministry of Education [212025]; Inner; Mongolia Science Foundation for Distinguished Young Scholars [2012JQ03];; Introduction Foundation for High-Level Talents of Inner Mongolia; University; Ministry of Education of China [20090009110006]; Natural; Science Foundation of Guangxi [2011GXNSFA018154, 2012GXNSFGA060003];; Science and Technology Foundation of Guangxi [10169-1]; Guangxi; Scientific Research Project [201012MS274]

教育部学科:光学工程,力学,控制科学与工程

摘要:Model checking and conformance testing play an important role in software system design and implementation. From the view of integrating model checkin 更多

更新时间:Mar 28, 2019
TOP