convince-project

@UCZpHGAtbTGkUBHtGClt1KOg - 2 subscribers

This is the official youtube channel of the CONVINCE Horizon Europe project.

Home Videos Live Playlists

Overarching Tutorial: semantic reasoning with SIT-AW

Overarching Tutorial: semantic reasoning with SIT-AW convince-project

17 views - 1 month ago

Overarching Tutorial: run-time verification with MOON

Overarching Tutorial: run-time verification with MOON convince-project

15 views - 2 months ago

Overarching Tutorial: introduction

Overarching Tutorial: introduction convince-project

21 views - 2 months ago

ACTIVE PLAN tutorial

ACTIVE PLAN tutorial convince-project

13 views - 2 months ago

Overarching Tutorial: REFINE-PLAN

Overarching Tutorial: REFINE-PLAN convince-project

19 views - 2 months ago

Overarching Tutorial: off-line verification with SCAN

Overarching Tutorial: off-line verification with SCAN convince-project

19 views - 2 months ago

Overarching Tutorial: off-line verification AS2FM and SMC-STORM

Overarching Tutorial: off-line verification AS2FM and SMC-STORM convince-project

20 views - 2 months ago