Leandro Avila da Silva

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Safety Analysis

Constraint Programming

Nuclear Power Plant

Top Venues

Publications

Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung, Rasmus Adler
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers. SAFECOMP (2018)