UPV

UPV

:: Iniciar sesión ::

Concolic Testing in Logic Programming (ICLP'15)

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 ]

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

On the Completeness of Selective Unification in Concolic Testing of Logic Programs

24:24 · 2016

Concolic Testing in CLP

Concolic Testing in CLP

15:55 · 2020

Reversible Computations in Logic Programming

Reversible Computations in Logic Programming

20:13 · 2020

Programming Logic and Languages: event-driven programming

Programming Logic and Languages: event-driven programming

4:37 · 2015

LTP. Tema 2.4. Semántica axiomática

LTP. Tema 2.4. Semántica axiomática

7:27 · 2017

CT - Problem 5.8a solved

CT - Problem 5.8a solved

28:48 · 2021

Módulos pitch, transposer, panoramic, delay, filter

Módulos pitch, transposer, panoramic, delay, filter

7:36 · 2019

Introducción a Grafcet: Ejercicios básicos (OR Parte 1) - Set Prioritario 2

Introducción a Grafcet: Ejercicios básicos (OR Parte 1) - Set Prioritario 2

19:42 · 2024

Tutorial rltool de Matlab (básico)

Tutorial rltool de Matlab (básico)

5:43 · 2014

Estandarización

Estandarización

7:49 · 2011

VLC-CAMPUS

CAMPUS HABITAT

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