Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


16870 Treffer


× Publikationen
× Universität Trier
× Hochschule Mainz
× Hochschule Kaiserslautern
× Technische Hochschule Bingen





  • Bowen, Judy; J. Dix, Alan; A. Palanque, Philippe et al.
  • Topics of Formal Methods in HCI.
  • Handbook of Formal Methods in Human-Computer Interaction. 2017 S. 57 - 64