skip to main content
Ngôn ngữ:
Giới hạn tìm kiếm: Giới hạn tìm kiếm: Dạng tài nguyên Hiển thị kết quả với: Hiển thị kết quả với: Chỉ mục
Lọc theo: Tác giả/ người sáng tác: Navarre, David xóa Tác giả/ người sáng tác: Basnyat, Sandra xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare

Palanque, Philippe ; Basnyat, Sandra ; Navarre, David

Lecture Notes in Computer Science, HCI and Usability for Medicine and Health Care: Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22, 2007. Proceedings, pp.21-40

ISBN: 9783540768043 ; ISBN: 3540768041 ; E-ISBN: 9783540768050 ; E-ISBN: 354076805X ; DOI: 10.1007/978-3-540-76805-0_2

Toàn văn sẵn có

2
An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces

Navarre, David ; Palanque, Philippe ; Ladry, Jean-François ; Basnyat, Sandra

Lecture Notes in Computer Science, Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers, pp.208-224

ISBN: 9783540705680 ; ISBN: 3540705686 ; E-ISBN: 9783540705697 ; E-ISBN: 3540705694 ; DOI: 10.1007/978-3-540-70569-7_20

Toàn văn sẵn có

3
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
Material Type:
Chương sách
Thêm vào Góc nghiên cứu

A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems

Navarre, David ; Palanque, Philippe ; Basnyat, Sandra; Harrison, Michael D (Editor) ; Sujan, Mark-Alexander (Editor)

Lecture Notes in Computer Science, Computer Safety, Reliability, and Security: 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings, pp.373-386

ISBN: 9783540876977 ; ISBN: 3540876979 ; E-ISBN: 9783540876984 ; E-ISBN: 3540876987 ; DOI: 10.1007/978-3-540-87698-4_31

Toàn văn sẵn có

Chủ đề của tôi

  1. Thiết lập

Refine Search Results

Mở rộng kết quả tìm kiếm

  1.   

Đang tìm Cơ sở dữ liệu bên ngoài...