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)Systematic Analysis of Control Panel Interfaces Using Formal Tools., и . DSV-IS, том 5136 из Lecture Notes in Computer Science, стр. 72-85. Springer, (2008)Modelling and analysing the interactive behaviour of an infusion pump., и . ECEASST, (2011)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)Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web., , , , , , и . F-IDE@FM, том 240 из EPTCS, стр. 1-19. (2016)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)The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets., , , , и . HCSE, том 6409 из Lecture Notes in Computer Science, стр. 6-21. Springer, (2010)