UPV

UPV

:: Iniciar sessió ::

Online Verification through Model Checking of Medical Critical Intelligent Systems

Divulgació de les activitats científiques, tecnològiques i artístiques ocorregudes en els tres campus de la UPV

[ Veure més vídeos de UPV TV ] [ Veure més vídeos didàctics ]

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (1/3): Overview and Modelling Logical Architecture

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (1/3): Overview and Modelling Logical Architecture

7:35 · 2015

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (2/3): Modelling Technical Architectures

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (2/3): Modelling Technical Architectures

6:59 · 2015

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (3/3): Design-Aid Methods & Technologies

Model-Based Development of Mixed Criticality Systems in AutoFOCUS3 (3/3): Design-Aid Methods & Technologies

4:05 · 2015

DSN2020 - Workshop on Safety and Security of Intelligent Vehicles - Session 1 - AI and Adaptive Systems, and Session 2 - Dependability and Security Analysis

DSN2020 - Workshop on Safety and Security of Intelligent Vehicles - Session 1 - AI and Adaptive Systems, and Session 2 - Dependability and Security Analysis

90:27 · 2020

Tecnologías Educativas, Presentación

Tecnologías Educativas, Presentación

4:47 · 2013

CoppeliaSim (V-REP): Joints.

CoppeliaSim (V-REP): Joints.

6:12 · 2020

Simulación Dinámica de Tren de Aterrizaje con Solidworks Motion v2017 - 04 de 12

Simulación Dinámica de Tren de Aterrizaje con Solidworks Motion v2017 - 04 de 12

11:33 · 2018

P-EST-01-R- Operadores Texto

P-EST-01-R- Operadores Texto

4:38 · 2015

Presentación de Electricidad

Presentación de Electricidad

7:02 · 2020

Los bienes públicos

Los bienes públicos

19:17 · 2009

Universitat Politècnica de València © 2020 · Tel. (+34) 96 387 70 00