Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems-Reference-Cited by-同舟云学术

Formal Methods in Human-Computer Interaction and Adaptive Instructional Systems

Published:2021 Issue: Volume: Page:183-198
ISSN:0302-9743
Container-title:Adaptive Instructional Systems. Design and Evaluation
language:
Short-container-title:

Author:

Emond Bruno^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-77857-6_12

Reference52 articles.

1. Abowd, G.D.: Formal Aspects of Human-Computer Interaction. University of Oxford, Oxford (1991)

2. Aleven, V., McLaughlin, E.A., Glenn, R.A., Koedinger, K.R.: Instruction based on adaptive learning technologies. In: Mayer, R.E., Alexander, P.A., (eds.) Handbook of Research on Learning and Instruction, Chap. 24, pages 538–576. Routledge, October 2016

3. Bolton, M.L., Siminiceanu, R.I., Bass, E.J.: A systematic approach to model checking human-automation interaction using task analytic models. IEEE Trans. Syst. Man Cybernet. Part A: Syst. Hum. 41, 961–976 (2011)

4. Human–Computer Interaction Series;ML Bolton,2017

5. Bolton, M.L., Bass, E.J., Siminiceanu, R.I.: Using formal verification to evaluate human-automation interaction: a review. IEEE Trans. Syst. Man Cybernet. Syst. 43(3), 488–503 (2013)

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

1. Verification and Validation of Adaptive Instructional Systems: A Text Mining Review;Lecture Notes in Computer Science;2024

2. Development of Electronic Course as the Element of Adaptive Training System;2023 IEEE 17th International Conference on Application of Information and Communication Technologies (AICT);2023-10-18

3. Towards Application of Adaptive Instructional Systems in Simulation-Based Lifeboat Training Using Bayesian Networks;Adaptive Instructional Systems;2023