SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 15:40 - 16:00 at SPLASH-IV - Session 4 Chair(s): Ivan Perez

Researcher @ NIA / NASA Formal Methods

Mon 16 Nov

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

15:00 - 16:20
Session 4REBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
15:00
40m
Talk
Multitier Languages for Reactive Microservice Architectures
REBLS
Simon Schoenwaelder TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
File Attached
15:40
20m
Day closing
Closing remarks
REBLS
Ivan Perez NIA / NASA Formal Methods