( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An approach to formal verification of human-computer interaction

, , и . Formal Aspects of Computing, 19 (4): 513--550 (ноября 2007)

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.

Paul Curzon

P Kock

P Günther

P Krebietke

P Hümmer

 

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

An approach to formal verification of human-computer interaction, , и . Formal Aspects of Computing, 19 (4): 513--550 (ноября 2007)Resilience in Usability Consultancy Practice: the case for a positive resonance model, , и . (июня 2007)Does being motivated to avoid procedural errors influence their systematicity?, , , , и . People and Computers XX -- Engage, Part 4, Springer London, London, The original publication is available at www.springerlink.com.(2007)Formal modelling of cognitive interpretation, , , и . Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)Detecting cognitive causes of confidentiality leaks, , и . Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (июля 2007)