- -

FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA

Show full item record

Montagud Catalá, MÁ. (2018). FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA. http://hdl.handle.net/10251/140723

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/140723

Files in this item

Item Metadata

Title: FORMALIZACIÓN Y VISUALIZACIÓN DE UNA LÍNEA DE PRODUCCIÓN AUTOMÁTICA
Secondary Title: FORMALIZATION AND VISUALIZATION OF AN AUTOMATIC PRODUCTION LINE
Author: Montagud Catalá, Miguel Ángel
Director(s): Montalva Subirats, José Miguel
UPV Unit: Universitat Politècnica de València. Departamento de Ingeniería de Sistemas y Automática - Departament d'Enginyeria de Sistemes i Automàtica
Universitat Politècnica de València. Escuela Técnica Superior de Ingenieros Industriales - Escola Tècnica Superior d'Enginyers Industrials
Read date / Event date:
2018-06-24
Issued date:
Abstract:
[ES] Hoy día la Verificación y Validación (V&V) de los software de control está obteniendo un gran significado en los sistemas productivos, por fín se asume que aplicar un estudio profundo en este asunto podría significar ...[+]


[EN] Verification and Validation (V&Y) of control software is nowadays assuming great significance in manufacturing systems, for it has been finally understood that a thorough study on this subject could mean a considerable ...[+]
Subjects: Formalización , Visualización , Línea de producción automática , Verificación y validación , Comprobación de modelos , Sistema en bucle cerrado , DEDS , TNCES , FASTorium , MNG , Formalization , Visualization , Automatic production line , Verification and Validation , Model-checking , Closed-loop system
Copyrigths: Cerrado
Publisher:
Universitat Politècnica de València
degree: Máster Universitario en Ingeniería Industrial-Màster Universitari en Enginyeria Industrial
Type: Tesis de máster

This item appears in the following Collection(s)

Show full item record