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']
/
IEICE Transactions in Information and Systems
/ Vol. 100
/ No. 10
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？