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.
In: Maria Indrawan-Santiago; Eric Pardede; Ivan Luiz Salvadori; Matthias Steinbauer; Ismail Khalil; Gabriele Anderst-Kotsis (Hrsg.). Proceedings of the 21st International Conference on Information Integration and Web-Based Applications & Services. International Conference on Information Integration and Web-based Applications & Services (iiWAS-2019), December 2-4, Munich, Germany, Pages 649-653, ISBN 9781450371797, Association for Computing Machinery, New York, NY, USA, 12/2019.
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.