Generic Work

 

Software delivery for PETTT BY15-080SP Acceso Abierto Deposited

Analytics
Date Uploaded: 08/11/2016
Date Modified: 08/15/2016

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

Creador
Licencia
Presentador
Colegio
Departamento
Editor

Digital Object Identifier (DOI)

Identificador: doi:10.7945/C2ZW2S
Enlazar: https://doi.org/10.7945/C2ZW2S

Este enlace DOI es la mejor manera para que otros citen su trabajo.

Elementos

Miniatura Título Fecha de subida Visibilidad Acciones
File thumbnail: 3-Procedure1.c 3-Procedure1.c 2016-08-15 Acceso Abierto
File thumbnail: 3-Procedure2.c 3-Procedure2.c 2016-08-15 Acceso Abierto
File thumbnail: 2-AutoV2.py 2-AutoV2.py 2016-08-15 Acceso Abierto
File thumbnail: 0-Readme.txt 0-Readme.txt 2016-08-11 Acceso Abierto
File thumbnail: 1-AutoV2_manual.pdf 1-AutoV2_manual.pdf 2016-08-15 Acceso Abierto
File thumbnail: 5-Validation_setting.xml 5-Validation_setting.xml 2016-08-15 Acceso Abierto
File thumbnail: 0-Readme.png 0-Readme.png 2016-08-15 Acceso Abierto
File thumbnail: 4-Procedure1.xml 4-Procedure1.xml 2016-08-15 Acceso Abierto
File thumbnail: 4-Procedure2.xml 4-Procedure2.xml 2016-08-15 Acceso Abierto

Enlace permanente a esta página: https://scholar.uc.edu/show/zk51vj32p