Authors: Rafael Stahl, Technische Universität München, DE; Daniel Müller-Gritschneder, Technische Universität München, DE; Ulf Schlichtmann, Technische Universität München, DE
Abstract:
-
Publication Date: 2018/09/12
Location of Publication: Forum on Design Languages (FDL)
Keywords: System Software Design; Verification