Toward a Unified Executable Formal Automobile OS Kernel and Its Applications
['Xiaoran Zhu', 'Min Zhang', 'Jian Guo', 'Xin Li', 'Huibiao Zhu', 'Jifeng He']
/
IEEE Transactions on Reliability
/ Vol. 68
/ No. 3
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？