[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.E100-D No.10
Timed Model-Based Formal Analysis of a Scheduler of Qplus-AIR, an ARINC-653 Compliance RTOS
Sanghyun YOON, Dong-Ah LEE, Eunji PAK, Taeho KIM, Junbeom YOO,
1 ¥3240
Total: ¥3,240