Formal reasoning about dialogue properties with automatic support-Reference-Cited by-同舟云学术

Formal reasoning about dialogue properties with automatic support

Published:1997-11 Issue:2 Volume:9 Page:173-196
ISSN:0953-5438
Container-title:Interacting with Computers
language:en
Short-container-title:Interacting with Computers

Author:

Paterno' Fabio

Publisher

Oxford University Press (OUP)

Subject

Human-Computer Interaction,Software

Link

http://academic.oup.com/iwc/article-pdf/9/2/173/2075286/iwc9-0173.pdf

Reference28 articles.

1. Symbolic model checking: 1020 states and beyond;Burch;Information and Computation,1992

2. ISO, Information Processing Systems—Open Systems Interconnection—LOTOS—A Formal Description Technique Based on temporal Ordering of Observational Behaviour. ISO/IS 8807, ISO Central Secretariat, 1988.

3. R. Milner, Communication and Concurrency. Prentice Hall, 1989.

4. A theory of user-interaction objects;Paterno';Journal of Visual Languages and Computing,1994

5. P. Markopoulus, J. Rowson, P. Johnson, Composition and synthesis with a formal interactor model, of Interacting with Computers, 9(2) 1997.

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safety bounds in human robot interaction: A survey;Safety Science;2020-07

2. Safety Assessment of Collaborative Robotics Through Automated Formal Verification;IEEE Transactions on Robotics;2020-02

3. A Formal Machine–Learning Approach to Generating Human–Machine Interfaces From Task Models;IEEE Transactions on Human-Machine Systems;2017-12

4. Novel Developments in Formal Methods for Human Factors Engineering;Proceedings of the Human Factors and Ergonomics Society Annual Meeting;2017-09

5. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017