未登录

返回

Code Clarity

2016-03-01

8

PRE

AI

Gerard J. Holzmann *

DOI：10.1109/MS.2016.44

原文求助

收藏

摘要

En

期刊

IF:

3

论文数:

3.2K

被引数:

3.6K

机构

N

national aeronautics & space administration (nasa)

学者数:

3.1W

论文数: 2.6W

被引数: 46

引用论文

暂无论文信息