In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020), March 19-20, Stuttgart, Germany, 2020.
In: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied Interaction (TEI-2020), Future Bodies, Future Technologies, February 9-12, Sydney, OZ, Australia, Pages 863-875, ACM, 2020.
Thorsten Schoormann; Simon Hagen; Jonas Brinker; Sebastian Wildau; Oliver Thomas; Ralf Knackstedt
In: Dominik Bork; Dimitris Karagiannis; Heinrich C. Mayr (Hrsg.). Modellierung 2020. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), February 19-21, Vienna, Austria, Pages 12-27, ISBN 978-3-88579-696-1, Gesellschaft für Informatik e.V. Bonn, 2020.
In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), Modellierung in der Hochschullehre, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 65-76, CEUR, 2020.
Mathias Jenny; Niels Will; Gerd Dellbrügge; Antonia Meißner; Anna Lena Nowak; Andreas Kruse; Sebastian Glende