From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Formally verifying interactive systems: A review., и . DSV-IS, стр. 109-124. Springer, (1997)A use error taxonomy for improving human-machine interface design in medical devices., , , , и . SIGBED Rev., 16 (2): 24-30 (2019)Systematic Analysis of Control Panel Interfaces Using Formal Tools., и . DSV-IS, том 5136 из Lecture Notes in Computer Science, стр. 72-85. Springer, (2008)Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes., , , и . IWAAL, том 9455 из Lecture Notes in Computer Science, стр. 49-61. Springer, (2015)MODUS: model-based user interfaces prototyping., , и . EICS, стр. 111-116. ACM, (2017)AMAN Case Study., и . ABZ, том 14010 из Lecture Notes in Computer Science, стр. 265-283. Springer, (2023)Systematic automation of scenario-based testing of user interfaces., , , , , и . EICS, стр. 138-148. ACM, (2016)Formal Modelling as a Component of User Centred Design., , и . STAF Workshops, том 11176 из Lecture Notes in Computer Science, стр. 274-289. Springer, (2018)Addressing Interactive Computing Systems' Concerns in Software Engineering Degrees., и . INTERACT (Workshops), том 13198 из Lecture Notes in Computer Science, стр. 248-256. Springer, (2021)A generic library for GUI reasoning and testing., , и . SAC, стр. 121-128. ACM, (2009)