Einsatz formaler Methoden zur Evaluierung der Gebrauchsfähigkeit interaktiver Geräte (Utilization of Formal Methods for the Usability Evaluation of Interactive Devices).

Published in: Informationstechnik Tech. Inform. (2002)

Keyphrases