43:26

ELISA Seminar (August 2024) – Cregit: token-level history of Linux

1:01:40

ELISA Seminar (Nov 2023) ISO-PAS 8926 Overview and ISO 26262 3rd ed Activity Planning

1:04:11

ELISA Seminar (May 2024): Ferrocene: Qualifying the Rust compiler out in the open

56:28

ELISA Seminar (September 2024) – Meet the New KernelCI

21:13

6G-PATH partners' B5G technologies: Introduction to the Aveiro testbed - IT

1:00:22

ELISA Seminar (Sept. 2023): Xen Safety Certification - Progress & Plans for the Future

1:03:17

Total Productive Maintenance & Overall Equipment Effectiveness by Group 2

56:24

ELISA Seminar (March 2024): Certifying Linux: State of the Art and Lessons Learned after Eight Years