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
Chỉ hiển thị
Lọc theo: Tác giả/ người sáng tác: Navarre, David xóa Ngôn ngữ: English xóa Chủ đề: Embedded Systems xóa
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems

Martinie, Célia ; Navarre, David ; Palanque, Philippe

International Journal of Human - Computer Studies, January 2014, Vol.72(1), pp.77-99 [Tạp chí có phản biện]

ISSN: 1071-5819 ; E-ISSN: 1095-9300 ; DOI: 10.1016/j.ijhcs.2013.08.013

Toàn văn sẵn có

Phiên bản sẵn có
2
Material Type:
Bài báo
Thêm vào Góc nghiên cứu

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language

Barboni, Eric ; Martinie, Célia ; Navarre, David ; Palanque, Philippe ; Winckler, Marco

Science of Computer Programming, 15 June 2014, Vol.86, pp.3-29 [Tạp chí có phản biện]

ISSN: 0167-6423 ; E-ISSN: 1872-7964 ; DOI: 10.1016/j.scico.2013.04.001

Toàn văn sẵn có

Phiên bản sẵn có
3
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Hamon, Arnaud ; Martinie, Celia ; Palanque, Philippe ; Barboni, Eric ; Navarre, David ; Tankeu-Choitat, Adrienne; Pagnier, Axelle (Editor)

ERTS 2012 proceedings, 02 February 2012

Toàn văn sẵn có

4
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Concept Maps as for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems

Ragosta, Martina ; Martinie De Almeida, Celia ; Palanque, Philippe ; Navarre, David ; Sujan, Mark-Alexander; (Oatao), Open Archive Toulouse Archive Ouverte (Editor)

ATACCS '15 : Proceedings of ATACCS 2015, 2015

Toàn văn sẵn có

5
Material Type:
Kỷ yếu hội nghị
Thêm vào Góc nghiên cứu

Understanding functional resonance through a federation of models : preliminary findings of an avionics case study

Martinie De Almeida, Celia ; Palanque, Philippe ; Ragosta, Martina ; Sujan, Mark-Alexander ; Navarre, David ; Pasquini, Alberto; (Oatao), Open Archive Toulouse Archive Ouverte (Editor)

Computer Safety, Reliability, and Security, 2013, pp.216-227

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.   

Chỉ hiển thị

  1. Tạp chí có phản biện (2)

Lọc kết quả

Năm xuất bản 

Từ đến

Cơ sở dữ liệu 

  1. HAL (CCSd)  (5)
  2. OneFile (GALE)  (1)
  3. Lựa chọn khác open sub menu

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