Verifying OCL Operational Contracts via SMT-based Synthesising

von Wu, Hao
Veröffentlicht in MODELSWARD (8. : 2020 : Valletta) MODELSWARD 2020 (2020)

A Cooperative and Interactive Gesture-Based Drumming Interface with Application to the Internet of Musical Things

von Yaseen, Azeema
Veröffentlicht in International Conference on Human-Computer Interaction (24. : 2022 : Online) HCI International 2022 Posters ; Part 2 (2022)

Essentials of software testing

von Bierig, Ralf
Veröffentlicht 2022

Proc. of the 12th Int. Conference on Sound and Music Computing (SMC-15) : Maynooth, Ireland, July 30, 31 & August 1, 2015

Veröffentlicht 2015