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.

 

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

Modelling and analysing the interactive behaviour of an infusion pump., и . ECEASST, (2011)Systematic Analysis of Control Panel Interfaces Using Formal Tools., и . DSV-IS, том 5136 из Lecture Notes in Computer Science, стр. 72-85. Springer, (2008)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)Balancing the formal and the informal in user-centred design., , и . Interact. Comput., 33 (1): 55-72 (2021)Towards a Coordination Model for Interactive Systems., , и . FMIS@ICFEM, том 183 из Electronic Notes in Theoretical Computer Science, стр. 89-103. Elsevier, (2006)Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes., , , и . IWAAL, том 9455 из Lecture Notes in Computer Science, стр. 49-61. Springer, (2015)AMAN Case Study., и . ABZ, том 14010 из Lecture Notes in Computer Science, стр. 265-283. Springer, (2023)MODUS: model-based user interfaces prototyping., , и . EICS, стр. 111-116. ACM, (2017)Systematic automation of scenario-based testing of user interfaces., , , , , и . EICS, стр. 138-148. ACM, (2016)