UPV

UPV

:: Iniciar sesión ::

Online Verification through Model Checking of Medical Critical Intelligent Systems

Divulgación de las actividades científicas, tecnológicas y artísticas ocurridas en los tres campus de la UPV

[ Ver más vídeos de RTV ] [ Ver más Vídeos didácticos ]

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

Índice

1:39 · 2015

2013-04-20_aumentame4

2013-04-20_aumentame4

: · 2015

Animación mediante fotogramas clave en Blender

Animación mediante fotogramas clave en Blender

9:03 · 2018

MATE1-3-01l SCD solucion

MATE1-3-01l SCD solucion

3:13 · 2018

Contra la Pared Diegético 6 - 6

Contra la Pared Diegético 6 - 6

2:56 · 2014

Coordinación de agentes usando árboles de comportamiento - Parte 1

Coordinación de agentes usando árboles de comportamiento - Parte 1

17:28 · 2014

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