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

Making the night

Making the night

3:30 · 2014

GPR 20-21 Presentación de la asignatura-Objetivo de la asignatura

GPR 20-21 Presentación de la asignatura-Objetivo de la asignatura

4:55 · 2021

Macromagnitudes Agrarias

Macromagnitudes Agrarias

10:46 · 2011

VIBRArch 2024 VLC.Premiere of the short film

VIBRArch 2024 VLC.Premiere of the short film "Experience in development cooperation through the design of emergency housing in Equatorial Guinea".

25:42 · 2024

Timing 2 para animación

Timing 2 para animación

43:20 · 2020

Plataforma Arduino en Teoría de Circuitos

Plataforma Arduino en Teoría de Circuitos

11:06 · 2013

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