[Lecture Notes in Computer Science] Universal Access in Human-Computer Interaction. Theory, Methods and Tools Volume 11572 (13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I) || Editor of O & M Virtual Environments for the Training of People with Visual Impairment
- 作者Antona, Margherita; Stephanidis, Constantine
- 文件大小1455.90KB
- 发表时间2019
- DOI10.1007/978-3-030-23560-4_45
- 页码617-627
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 ||Badger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 || Testing-Based Compiler Validation for Synchronous LanguagesBadger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 8430 || Using Lightweight Theorem Proving in an Asynchronous Systems ContextBadger, Julia M.; Rozier, Kristin Yvonne · 2014
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) ||Badger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Data Independence for Software Transactional MemoryBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Formalizing CNF SAT Symmetry Breaking in PVSBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || A Mixed Real and Floating-Point SolverBadger, Julia M.; Rozier, Kristin Yvonne · 2019
[Lecture Notes in Computer Science] NASA Formal Methods Volume 11460 (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings) || Towards a Two-Layer Framework for Verifying Autonomous VehiclesBadger, Julia M.; Rozier, Kristin Yvonne · 2019