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: Năm xuất bản: 2012đến2016 xóa Dạng tài nguyên: Tài nguyên văn bản xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

Martinie, Celia ; Palanque, Philippe ; Brat, Guillaume P.; NASA Ames Research Center

International Conference on Human-Computer Interaction; 21-26 Jul 2013; Las Vegas, Nevada; United States

20140004915; ARC-E-DAA-TN8489

Toàn văn sẵn có

2
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Petrinect: A Generic Framework For Executable Gestural Interaction Models

Deshayes, Romuald ; Mens, Tom ; Palanque, Philippe

DOI: 10.5281/zenodo.851550 ; Related DOI: 10.5281/zenodo.851551

Toàn văn sẵn có

3
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

Petrinect: A Generic Framework For Executable Gestural Interaction Models

Deshayes, Romuald ; Mens, Tom ; Palanque, Philippe

DOI: 10.5281/zenodo.851551 ; Related DOI: 10.5281/zenodo.851550

Toàn văn sẵn có

4
SIG: Multiple Views on Safety-Critical Automation: Aircraft, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives
Material Type:
Tài nguyên văn bản
Thêm vào Góc nghiên cứu

SIG: Multiple Views on Safety-Critical Automation: Aircraft, Autonomous Vehicles, Air Traffic Management and Satellite Ground Segments Perspectives

Palanque, Philippe ; Tscheligi, Manfred ; Feary, Michael ; Martinie, Célia; NASA Ames Research Center

CHI 2016; 7-12 May 2015; San Jose, CA; United States

20160007346; ARC-E-DAA-TN32228

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.   

Lọc kết quả

Năm xuất bản 

Từ đến

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