SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 07:00 - 07:20 at SPLASH-IV - Welcome to REBLS & Keynote Chair(s): Ivan Perez

Researcher @ NIA / NASA Formal Methods

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

07:00 - 08:20
Welcome to REBLS & KeynoteREBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
07:00
20m
Day opening
Welcome to REBLS
REBLS
Ivan Perez NIA / NASA Formal Methods
07:20
60m
Keynote
Keynote: SCADE 6
REBLS