Anna Marcellan

Publication Activity (10 Years)

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

Top Topics

Distributed Object

Complex Systems

Automated Verification

Top Venues

Publications

Anselm Erdmann, Anna Marcellan, Dominik Hering, Michael Suriyah, Carolin Ulbrich, Martin Henke, André Xhonneux, Dirk Müller, Rutger Schlatmann, Veit Hagenmeyer
On Verification of Designed Energy Systems Using Distributed Co-Simulations. DS-RT (2020)