Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

Registered user since Fri 30 Apr 2021

Name:Remi Delmas
Affiliation:Uber ATCP
Research interests:Formal methods, language design and implementation, system safety


ECOOP 2021 ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Show activities from other conferences

Using general profile