Thea Schwaneberg

Publication Activity (10 Years)

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

Top Topics

Embedded Software

Automatically Generated

Software Architecture

Top Venues

Publications

Kai Bavendiek, Tobias Mueller, Florian Wittner, Thea Schwaneberg, Christian-Alexander Behrendt, Wolfgang Schulz, Hannes Federrath, Sibylle Schupp
Automatically Proving Purpose Limitation in Software Architectures. SEC (2019)