Výsledky vyhledávání - "Yilmazer, Yunus"

Conference

An approach for verification of ARINC 653 time partitioning concept.

Autor: Usug, Ugur, Yilmazer, Yunus, Alptekin, Ahmet, Yilmaz, Hakan

Publikováno v: 2015 1st URSI Atlantic Radio Science Conference (URSI AT-RASC); 2015, p1-22, 22p

Zobrazit plný text záznamu

Conference

Adapting DO-178C processes by implementing a reverse engineering technique.

Autor: Bingol, Mehmet Koray, Deniz, Etem, Sari, Mustafa, Saritas, Ismail Engin, Yilmazer, Yunus

Publikováno v: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC); 2014, p1-22, 22p

Zobrazit plný text záznamu

Conference

Design for ARINC 653 Conformance: Architecting independent validation of a safety-critical RTOS.

Autor: Alptekin, Ahmet, Yilmazer, Yunus, Usug, Ugur, Koca, Feyzullah, Incki, Koray

Publikováno v: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC); 2014, p1-23, 23p

Zobrazit plný text záznamu

Conference

An approach for verification of ARINC 653 time partitioning concept.

Autor: Usug, Ugur, Yilmazer, Yunus, Alptekin, Ahmet, Yilmaz, Hakan

Publikováno v: 2015 1st URSI Atlantic Radio Science Conference (URSI AT-RASC); 2015, p6E2-10, 0p

Zobrazit plný text záznamu

Conference

Design for ARINC 653 conformance: Architecting independent validation of a safety-critical RTOS.

Autor: Alptekin, Ahmet, Yilmazer, Yunus, Usug, Ugur, Koca, Feyzullah, Incki, Koray

Publikováno v: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC); 2014, p8A6-8, 0p

Zobrazit plný text záznamu

Conference

Adapting DO-178C processes by implementing a reverse engineering technique.

Autor: Bingol, Mehmet Koray, Deniz, Etem, Sari, Mustafa, Saritas, Ismail Engin, Yilmazer, Yunus

Publikováno v: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC); 2014, p8A5-10, 0p

Zobrazit plný text záznamu