Index Catalog // Scholar@UC

清除筛选

筛选: 创建者 Jin, Xiaoyu

Software delivery for PETTT BY15-080SP

Type:

Generic Work

摘抄:

This software delivery includes source code and documentations of the automated verification and validation tool developed under the PETTT BY15-080SP project.

作者:

Niu, Nan and Jin, Xiaoyu

提交者:

Nan Niu

上传日期:

08/11/2016

更改日期:

08/15/2016

证书:

All rights reserved
RE'16 Viewpoint Merging Study Materials

Type:

Generic Work

摘抄:

To facilitate future replication

作者:

Niu, Nan; Jin, Xiaoyu, and Khatwani, Charu

提交者:

Nan Niu

上传日期:

03/11/2016

更改日期:

11/28/2016

创建:

2016-03-14

证书:

CC0 1.0 Universal